Home
last modified time | relevance | path

Searched refs:set_extra_expr_mod (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_function_hooks.c489 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 Dcheck_kernel.c167 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 Dsmatch_extra.c416 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 Dsmatch_conditions.c577 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 Dsmatch_extra.h172 void set_extra_expr_mod(struct expression *expr, struct smatch_state *state);