/illumos-gate/usr/src/tools/smatch/src/ |
H A D | check_get_user_overflow.c | 84 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 D | smatch_imaginary_absolute.c | 58 set_true_false_states_expr(my_id, expr, alloc_estate_rl(true_rl), alloc_estate_rl(false_rl)); in __save_imaginary_state()
|
H A D | check_dma_mapping_error.c | 49 set_true_false_states_expr(my_id, expr, NULL, &ok); in match_condition()
|
H A D | smatch_nul_terminator.c | 298 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 D | smatch_capped.c | 195 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 D | check_return_efault.c | 51 set_true_false_states_expr(my_id, expr, NULL, &ok); in match_condition()
|
H A D | check_check_deref.c | 159 set_true_false_states_expr(my_id, expr, true_state, &null); in match_condition()
|
H A D | smatch_constraints.c | 380 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 D | smatch_bits.c | 317 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 D | check_leaks.c | 145 set_true_false_states_expr(my_id, expr, NULL, &ok); in match_condition()
|
H A D | smatch_kernel_user_data.c | 671 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 D | check_deref.c | 222 set_true_false_states_expr(my_id, expr, &ok, NULL); in match_condition()
|
H A D | check_err_ptr_deref.c | 149 set_true_false_states_expr(my_id, expr, NULL, &checked); in match_condition()
|
H A D | check_index_overflow.c | 351 set_true_false_states_expr(loop_id, expr->left, NULL, &loop_end); in match_condition()
|
H A D | smatch_strlen.c | 162 set_true_false_states_expr(my_strlen_id, str, true_state, false_state); in match_strlen_condition()
|
H A D | smatch_states.c | 586 void set_true_false_states_expr(int owner, struct expression *expr, in set_true_false_states_expr() function
|
H A D | smatch.h | 369 void set_true_false_states_expr(int owner, struct expression *expr,
|