usr/src/tools/smatch/src/smatch_assigned_expr.c

144

select_return_states_hook(PARAM_SET, &record_param_assignment);

usr/src/tools/smatch/src/smatch_extra.c

2694

if (op == PARAM_SET)

usr/src/tools/smatch/src/smatch_extra.c

2718

db_param_add_set(expr, param, key, value, PARAM_SET);

usr/src/tools/smatch/src/smatch_extra.c

2905

select_return_states_hook(PARAM_SET, &db_param_set);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

1519

select_return_states_hook(PARAM_SET, &db_param_set);

usr/src/tools/smatch/src/smatch_modification_hooks.c

286

select_return_states_hook(PARAM_SET, &db_param_add);

usr/src/tools/smatch/src/smatch_param_set.c

227

PARAM_SET, param, new, "s64min-s64max");

usr/src/tools/smatch/src/smatch_param_set.c

237

param_has_filter_data(sm) ? PARAM_ADD : PARAM_SET,

usr/src/tools/smatch/src/smatch_param_set.c

248

param_has_filter_data(sm) ? PARAM_ADD : PARAM_SET,

usr/src/tools/smatch/src/smatch_type_val.c

677

select_return_states_hook(PARAM_SET, &db_param_add);