Searched refs:set_extra_nomod_vsl (Results 1 – 3 of 3) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_extra.h | 174 void set_extra_nomod_vsl(const char *name, struct symbol *sym, struct var_sym_list *vsl, struct exp…
|
| H A D | smatch_extra.c | 469 void set_extra_nomod_vsl(const char *name, struct symbol *sym, struct var_sym_list *vsl, struct exp… in set_extra_nomod_vsl() function
2632 set_extra_nomod_vsl(name, sym, vsl, NULL, alloc_estate_rl(new)); in db_param_limit_filter()
2638 set_extra_nomod_vsl(other_name, other_sym, vsl, NULL, alloc_estate_rl(new)); in db_param_limit_filter()
|
| H A D | smatch_implied.c | 1118 set_extra_nomod_vsl(name, sym, vsl, NULL, alloc_estate_rl(rl)); in __implied_case_stree()
|