| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_modification_hooks.c | 111 …_modification_hooks_name_sym(char *name, struct symbol *sym, struct expression *mod_expr, int late) in call_modification_hooks_name_sym() argument
120 set_state(my_id, name, sym, alloc_my_state(mod_expr, prev)); in call_modification_hooks_name_sym()
131 (hooks[sm->owner])(sm, mod_expr); in call_modification_hooks_name_sym()
135 (hooks_late[sm->owner])(sm, mod_expr); in call_modification_hooks_name_sym()
141 static void call_modification_hooks(struct expression *expr, struct expression *mod_expr, int late) in call_modification_hooks() argument
149 call_modification_hooks_name_sym(name, sym, mod_expr, late); in call_modification_hooks()
|
| H A D | smatch_comparison.c | 819 static void match_inc_dec(struct sm_state *sm, struct expression *mod_expr) in match_inc_dec() argument
824 if (!mod_expr) in match_inc_dec()
826 if (match_add_sub_assign(sm, mod_expr)) in match_inc_dec()
828 if (mod_expr->type != EXPR_PREOP && mod_expr->type != EXPR_POSTOP) in match_inc_dec()
831 if (mod_expr->op == SPECIAL_INCREMENT) in match_inc_dec()
833 else if (mod_expr->op == SPECIAL_DECREMENT) in match_inc_dec()
844 static void match_modify(struct sm_state *sm, struct expression *mod_expr) in match_modify() argument
846 if (mod_expr && is_self_assign(mod_expr)) in match_modify()
850 if (mod_expr && in match_modify()
851 ((mod_expr->type == EXPR_PREOP || mod_expr->type == EXPR_POSTOP) && in match_modify()
[all …]
|
| H A D | smatch_assigned_expr.c | 33 static void undef(struct sm_state *sm, struct expression *mod_expr) in undef() argument
35 if (mod_expr == skip_mod) in undef()
|
| H A D | check_container_of.c | 30 static void is_ok(struct sm_state *sm, struct expression *mod_expr) in is_ok() argument
|
| H A D | smatch_imaginary_absolute.c | 49 static void reset(struct sm_state *sm, struct expression *mod_expr) in reset() argument
|
| H A D | check_wine_filehandles.c | 47 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() argument
|
| H A D | check_dma_mapping_error.c | 27 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() argument
|
| H A D | check_frees_param.c | 33 static void set_ignore(struct sm_state *sm, struct expression *mod_expr) in set_ignore() argument
|
| H A D | check_snprintf.c | 24 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() argument
|
| H A D | check_deref_check.c | 25 static void underef(struct sm_state *sm, struct expression *mod_expr) in underef() argument
|
| H A D | check_expects_err_ptr.c | 26 static void set_ok(struct sm_state *sm, struct expression *mod_expr) in set_ok() argument
|
| H A D | check_testing_index_after_use.c | 33 static void delete(struct sm_state *sm, struct expression *mod_expr) in delete() argument
|
| H A D | smatch_strlen.c | 51 static void set_strlen_undefined(struct sm_state *sm, struct expression *mod_expr) in set_strlen_undefined() argument
56 static void set_strlen_equiv_undefined(struct sm_state *sm, struct expression *mod_expr) in set_strlen_equiv_undefined() argument
|
| H A D | smatch_links.c | 87 static void match_link_modify(struct sm_state *sm, struct expression *mod_expr) in match_link_modify() argument
|
| H A D | check_return_efault.c | 33 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() argument
|
| H A D | check_dereferences_param.c | 34 static void set_ignore(struct sm_state *sm, struct expression *mod_expr) in set_ignore() argument
|
| H A D | check_dev_queue_xmit.c | 31 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() argument
|
| H A D | check_pointer_math.c | 24 static void set_undefined(struct sm_state *sm, struct expression *mod_expr) in set_undefined() argument
|
| H A D | check_check_deref.c | 43 static void is_ok(struct sm_state *sm, struct expression *mod_expr) in is_ok() argument
|
| H A D | check_frees_param_strict.c | 42 static void set_ignore(struct sm_state *sm, struct expression *mod_expr) in set_ignore() argument
|
| H A D | smatch_bits.c | 148 static void match_modify(struct sm_state *sm, struct expression *mod_expr) in match_modify() argument
152 if (handled_by_assign_hook(mod_expr)) in match_modify()
|
| H A D | smatch_return_to_param.c | 44 static void undef(struct sm_state *sm, struct expression *mod_expr) in undef() argument
|
| H A D | check_double_checking.c | 35 static void set_modified(struct sm_state *sm, struct expression *mod_expr) in set_modified() argument
|
| H A D | check_free.c | 33 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() argument
|
| H A D | check_err_ptr_deref.c | 39 static void ok_to_use(struct sm_state *sm, struct expression *mod_expr) in ok_to_use() argument
|