Home
last modified time | relevance | path

Searched refs:PARAM_SET (Results 1 – 7 of 7) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_param_set.c227 PARAM_SET, param, new, "s64min-s64max"); in print_return_value_param_helper()
237 param_has_filter_data(sm) ? PARAM_ADD : PARAM_SET, in print_return_value_param_helper()
248 param_has_filter_data(sm) ? PARAM_ADD : PARAM_SET, in print_return_value_param_helper()
H A Dsmatch_assigned_expr.c144 select_return_states_hook(PARAM_SET, &record_param_assignment); in register_assigned_expr()
H A Dsmatch_modification_hooks.c286 select_return_states_hook(PARAM_SET, &db_param_add); in register_modification_hooks_late()
H A Dsmatch_type_val.c677 select_return_states_hook(PARAM_SET, &db_param_add); in register_type_val()
H A Dsmatch_extra.c2694 if (op == PARAM_SET) in db_param_add_set()
2718 db_param_add_set(expr, param, key, value, PARAM_SET); in db_param_set()
2905 select_return_states_hook(PARAM_SET, &db_param_set); in register_smatch_extra()
H A Dsmatch_kernel_user_data.c1519 select_return_states_hook(PARAM_SET, &db_param_set); in register_kernel_user_data()
H A Dsmatch.h850 PARAM_SET = 1025, enumerator