usr/src/tools/smatch/src/smatch_comparison.c

1370

handle_comparison(expr->left, expr->op, expr->right, &state_name, &false_state);

usr/src/tools/smatch/src/smatch_comparison.c

1380

handle_comparison(new_left, expr->op, new_right, NULL, NULL);

usr/src/tools/smatch/src/smatch_comparison.c

1384

handle_comparison(new_left, expr->op, new_right, NULL, NULL);

usr/src/tools/smatch/src/smatch_comparison.c

1415

handle_comparison(left, expr->op, right, NULL, NULL);

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

394

handle_comparison(expr->left, expr->op, expr->right);

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

395

handle_comparison(expr->right, flip_comparison(expr->op), expr->left);

usr/src/tools/smatch/src/smatch_extra.c

1961

handle_comparison(type, left, expr->op, right);

usr/src/tools/smatch/src/smatch_extra.c

1966

handle_comparison(type, left, expr->op, right);

usr/src/tools/smatch/src/smatch_extra.c

1973

handle_comparison(type, left, expr->op, right);

usr/src/tools/smatch/src/smatch_extra.c

1981

handle_comparison(type, left, expr->op, right);

usr/src/tools/smatch/src/smatch_extra.c

2012

handle_comparison(type, left, expr->op, right);

usr/src/tools/smatch/src/smatch_extra.c

2207

handle_comparison(get_type(expr), expr, SPECIAL_NOTEQUAL, zero_expr());

usr/src/tools/smatch/src/smatch_implied.c

862

return handle_comparison(expr, implied_true, implied_false);