Searched refs:handle_comparison (Results 1 – 4 of 4) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_constraints.c | 350 static void handle_comparison(struct expression *left, int op, struct expression *right) in handle_comparison() function 394 handle_comparison(expr->left, expr->op, expr->right); in match_condition() 395 handle_comparison(expr->right, flip_comparison(expr->op), expr->left); in match_condition()
|
H A D | smatch_extra.c | 1512 static void handle_comparison(struct symbol *type, struct expression *left, int op, struct expressi… in handle_comparison() function 1961 handle_comparison(type, left, expr->op, right); in match_comparison() 1966 handle_comparison(type, left, expr->op, right); in match_comparison() 1973 handle_comparison(type, left, expr->op, right); in match_comparison() 1981 handle_comparison(type, left, expr->op, right); in match_comparison() 2012 handle_comparison(type, left, expr->op, right); in match_comparison() 2207 handle_comparison(get_type(expr), expr, SPECIAL_NOTEQUAL, zero_expr()); in __extra_match_condition()
|
H A D | smatch_comparison.c | 1259 static void handle_comparison(struct expression *left_expr, int op, struct expression *right_expr, … in handle_comparison() function 1370 handle_comparison(expr->left, expr->op, expr->right, &state_name, &false_state); in __comparison_match_condition() 1380 handle_comparison(new_left, expr->op, new_right, NULL, NULL); in __comparison_match_condition() 1384 handle_comparison(new_left, expr->op, new_right, NULL, NULL); in __comparison_match_condition() 1415 handle_comparison(left, expr->op, right, NULL, NULL); in __comparison_match_condition()
|
H A D | smatch_implied.c | 730 static int handle_comparison(struct expression *expr, in handle_comparison() function 862 return handle_comparison(expr, implied_true, implied_false); in handled_by_extra_states()
|