Searched refs:my_max_id (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | check_get_user_overflow.c | 27 static int my_max_id; variable
83 if (get_state_expr(my_max_id, expr->left)) { in match_condition()
84 set_true_false_states_expr(my_max_id, expr->left, left_max_true, left_max_false); in match_condition()
87 if (get_state_expr(my_max_id, expr->right)) { in match_condition()
88 set_true_false_states_expr(my_max_id, expr->right, right_max_true, right_max_false); in match_condition()
95 if (get_state_expr(my_max_id, expr->left)) { in match_normal_assign()
96 set_state_expr(my_max_id, expr->left, &capped); in match_normal_assign()
113 set_state_expr(my_max_id, expr->left, &user_data); in match_assign()
128 sm = get_sm_state_expr(my_max_id, expr); in check_expr()
154 set_state_expr(my_max_id, expr, &capped); in check_expr()
[all …]
|