Searched refs:set_extra_expr_mod (Results 1 – 5 of 5) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_function_hooks.c | 489 set_extra_expr_mod(expr, state); in set_fresh_mtag_returns() 505 set_extra_expr_mod(expr, state); in set_return_assign_state() 1014 set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left))); in db_return_states_assign() 1034 set_extra_expr_mod(expr->left, alloc_estate_rl(rl)); in handle_implied_return() 1057 set_extra_expr_mod(expr->left, alloc_estate_whole(get_type(expr->left))); in match_assign_call() 1093 set_extra_expr_mod(expr->left, alloc_estate_rl(rl)); in match_assign_call()
|
H A D | check_kernel.c | 167 set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval)); in match_container_of_macro() 202 set_extra_expr_mod(expr->left, alloc_estate_range(valid_ptr_min_sval, valid_ptr_max_sval)); in match_container_of()
|
H A D | smatch_extra.c | 416 void set_extra_expr_mod(struct expression *expr, struct smatch_state *state) in set_extra_expr_mod() function 686 set_extra_expr_mod(iter_var, estate); in handle_canonical_while_count_down() 693 set_extra_expr_mod(iter_var, estate); in handle_canonical_while_count_down() 748 set_extra_expr_mod(iter_var, estate); in handle_canonical_for_inc() 788 set_extra_expr_mod(iter_var, estate); in handle_canonical_for_dec() 996 set_extra_expr_mod(tmp->unop, alloc_estate_whole(get_type(tmp->unop))); in match_function_call() 1304 set_extra_expr_mod(expr->unop, state); in unop_expr() 1312 set_extra_expr_mod(expr->unop, state); in unop_expr() 1332 set_extra_expr_mod(expr->expr, alloc_estate_whole(type)); in asm_expr() 2735 set_extra_expr_mod(arg->unop, alloc_estate_whole(get_type(arg->unop))); in match_lost_param()
|
H A D | smatch_conditions.c | 577 set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 1))); in __handle_condition_assigns() 593 set_extra_expr_mod(expr->left, alloc_estate_sval(sval_type_val(get_type(expr->left), 0))); in __handle_condition_assigns()
|
H A D | smatch_extra.h | 172 void set_extra_expr_mod(struct expression *expr, struct smatch_state *state);
|