Searched refs:my_min_id (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_get_user_overflow.c | 28 static int my_min_id; variable
85 set_true_false_states_expr(my_min_id, expr->left, left_min_true, left_min_false); in match_condition()
89 set_true_false_states_expr(my_min_id, expr->right, right_min_true, right_min_false); in match_condition()
97 set_state_expr(my_min_id, expr->left, &capped); in match_normal_assign()
114 set_state_expr(my_min_id, expr->left, &user_data); in match_assign()
135 sm = get_sm_state_expr(my_min_id, expr); in check_expr()
155 set_state_expr(my_min_id, expr, &capped); in check_expr()
187 my_min_id = id; in check_get_user_overflow2()
|