Home
last modified time | relevance | path

Searched refs:set_true_false_states_expr (Results 1 – 17 of 17) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dcheck_get_user_overflow.c84 set_true_false_states_expr(my_max_id, expr->left, left_max_true, left_max_false); in match_condition()
85 set_true_false_states_expr(my_min_id, expr->left, left_min_true, left_min_false); in match_condition()
88 set_true_false_states_expr(my_max_id, expr->right, right_max_true, right_max_false); in match_condition()
89 set_true_false_states_expr(my_min_id, expr->right, right_min_true, right_min_false); in match_condition()
H A Dsmatch_imaginary_absolute.c58 set_true_false_states_expr(my_id, expr, alloc_estate_rl(true_rl), alloc_estate_rl(false_rl)); in __save_imaginary_state()
H A Dcheck_dma_mapping_error.c49 set_true_false_states_expr(my_id, expr, NULL, &ok); in match_condition()
H A Dsmatch_nul_terminator.c298 set_true_false_states_expr(my_id, arg, in match_strnlen_test()
302 set_true_false_states_expr(param_set_id, arg, in match_strnlen_test()
H A Dsmatch_capped.c195 set_true_false_states_expr(my_id, left, left_true, left_false); in match_condition()
196 set_true_false_states_expr(my_id, right, right_true, right_false); in match_condition()
H A Dcheck_return_efault.c51 set_true_false_states_expr(my_id, expr, NULL, &ok); in match_condition()
H A Dcheck_check_deref.c159 set_true_false_states_expr(my_id, expr, true_state, &null); in match_condition()
H A Dsmatch_constraints.c380 set_true_false_states_expr(my_id, left, state, NULL); in handle_comparison()
382 set_true_false_states_expr(my_id, left, NULL, state); in handle_comparison()
H A Dsmatch_bits.c317 set_true_false_states_expr(my_id, expr->left, in match_compare()
373 set_true_false_states_expr(my_id, expr->left, in match_condition()
H A Dcheck_leaks.c145 set_true_false_states_expr(my_id, expr, NULL, &ok); in match_condition()
H A Dsmatch_kernel_user_data.c671 set_true_false_states_expr(my_id, expr->left, in handle_eq_noteq()
675 set_true_false_states_expr(my_id, expr->right, in handle_eq_noteq()
788 set_true_false_states_expr(my_id, left, left_true, left_false); in handle_compare()
789 set_true_false_states_expr(my_id, right, right_true, right_false); in handle_compare()
H A Dcheck_deref.c222 set_true_false_states_expr(my_id, expr, &ok, NULL); in match_condition()
H A Dcheck_err_ptr_deref.c149 set_true_false_states_expr(my_id, expr, NULL, &checked); in match_condition()
H A Dcheck_index_overflow.c351 set_true_false_states_expr(loop_id, expr->left, NULL, &loop_end); in match_condition()
H A Dsmatch_strlen.c162 set_true_false_states_expr(my_strlen_id, str, true_state, false_state); in match_strlen_condition()
H A Dsmatch_states.c586 void set_true_false_states_expr(int owner, struct expression *expr, in set_true_false_states_expr() function
H A Dsmatch.h369 void set_true_false_states_expr(int owner, struct expression *expr,