usr/src/tools/smatch/src/check_check_deref.c

159

set_true_false_states_expr(my_id, expr, true_state, &null);

usr/src/tools/smatch/src/check_deref.c

222

set_true_false_states_expr(my_id, expr, &ok, NULL);

usr/src/tools/smatch/src/check_dma_mapping_error.c

49

set_true_false_states_expr(my_id, expr, NULL, &ok);

usr/src/tools/smatch/src/check_err_ptr_deref.c

149

set_true_false_states_expr(my_id, expr, NULL, &checked);

usr/src/tools/smatch/src/check_get_user_overflow.c

84

set_true_false_states_expr(my_max_id, expr->left, left_max_true, left_max_false);

usr/src/tools/smatch/src/check_get_user_overflow.c

85

set_true_false_states_expr(my_min_id, expr->left, left_min_true, left_min_false);

usr/src/tools/smatch/src/check_get_user_overflow.c

88

set_true_false_states_expr(my_max_id, expr->right, right_max_true, right_max_false);

usr/src/tools/smatch/src/check_get_user_overflow.c

89

set_true_false_states_expr(my_min_id, expr->right, right_min_true, right_min_false);

usr/src/tools/smatch/src/check_index_overflow.c

351

set_true_false_states_expr(loop_id, expr->left, NULL, &loop_end);

usr/src/tools/smatch/src/check_leaks.c

145

set_true_false_states_expr(my_id, expr, NULL, &ok);

usr/src/tools/smatch/src/check_return_efault.c

51

set_true_false_states_expr(my_id, expr, NULL, &ok);

usr/src/tools/smatch/src/smatch.h

369

void set_true_false_states_expr(int owner, struct expression *expr,

usr/src/tools/smatch/src/smatch_bits.c

317

set_true_false_states_expr(my_id, expr->left,

usr/src/tools/smatch/src/smatch_bits.c

373

set_true_false_states_expr(my_id, expr->left,

usr/src/tools/smatch/src/smatch_capped.c

195

set_true_false_states_expr(my_id, left, left_true, left_false);

usr/src/tools/smatch/src/smatch_capped.c

196

set_true_false_states_expr(my_id, right, right_true, right_false);

usr/src/tools/smatch/src/smatch_constraints.c

380

set_true_false_states_expr(my_id, left, state, NULL);

usr/src/tools/smatch/src/smatch_constraints.c

382

set_true_false_states_expr(my_id, left, NULL, state);

usr/src/tools/smatch/src/smatch_imaginary_absolute.c

58

set_true_false_states_expr(my_id, expr, alloc_estate_rl(true_rl), alloc_estate_rl(false_rl));

usr/src/tools/smatch/src/smatch_kernel_user_data.c

671

set_true_false_states_expr(my_id, expr->left,

usr/src/tools/smatch/src/smatch_kernel_user_data.c

675

set_true_false_states_expr(my_id, expr->right,

usr/src/tools/smatch/src/smatch_kernel_user_data.c

788

set_true_false_states_expr(my_id, left, left_true, left_false);

usr/src/tools/smatch/src/smatch_kernel_user_data.c

789

set_true_false_states_expr(my_id, right, right_true, right_false);

usr/src/tools/smatch/src/smatch_nul_terminator.c

298

set_true_false_states_expr(my_id, arg,

usr/src/tools/smatch/src/smatch_nul_terminator.c

302

set_true_false_states_expr(param_set_id, arg,

usr/src/tools/smatch/src/smatch_strlen.c

162

set_true_false_states_expr(my_strlen_id, str, true_state, false_state);