Home
last modified time | relevance | path

Searched refs:handle_comparison (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_constraints.c350 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 Dsmatch_extra.c1512 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 Dsmatch_comparison.c1259 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 Dsmatch_implied.c730 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()