Home
last modified time | relevance | path

Searched refs:set_extra_expr_nomod (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_kernel.c99 set_extra_expr_nomod(arg, end_state); in match_param_valid_ptr()
121 set_extra_expr_nomod(arg, end_state); in match_param_err_or_null()
137 set_extra_expr_nomod(arg, alloc_estate_rl(rl)); in match_not_err()
162 set_extra_expr_nomod(arg, alloc_estate_rl(rl)); in match_err()
H A Dsmatch_function_hooks.c468 set_extra_expr_nomod(expr, alloc_estate_rl(rl)); in fake_a_param_assignment()
520 set_extra_expr_nomod(expr, state); in set_other_side_state()
544 set_extra_expr_nomod(arg, alloc_estate_rl(rl)); in handle_ret_equals_param()
H A Dsmatch_extra.c483 void set_extra_expr_nomod(struct expression *expr, struct smatch_state *state) in set_extra_expr_nomod() function
1288 set_extra_expr_nomod(deref_expression(expr), alloc_estate_whole(type)); in clear_pointed_at_state()
1351 set_extra_expr_nomod(expr, alloc_estate_rl(rl)); in check_dereference()
1360 set_extra_expr_nomod(expr, alloc_estate_rl(rl)); in check_dereference()
2259 set_extra_expr_nomod(offset, alloc_estate_rl(rl_after)); in assume_indexes_are_valid()
2572 set_extra_expr_nomod(arg->left, alloc_estate_rl(left_rl)); in db_param_limit_binops()
H A Dsmatch_extra.h175 void set_extra_expr_nomod(struct expression *expr, struct smatch_state *state);