usr/src/tools/smatch/src/smatch.h

1136

int flip_comparison(int op);

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

1058

right_comparison = flip_comparison(right_comparison);

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

1082

true_comparison = flip_comparison(true_comparison);

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

1083

false_comparison = flip_comparison(false_comparison);

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

1134

update_tf_links(pre_stree, right_expr, right_name, right_vsl, flip_comparison(true_comparison), flip_comparison(false_comparison), left_name, left_vsl, state->data);

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

1324

op = flip_comparison(op);

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

1325

false_op = flip_comparison(false_op);

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

1440

comparison = flip_comparison(comparison);

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

1490

comparison = flip_comparison(comparison);

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

1627

comparison = flip_comparison(comparison);

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

1689

ret = flip_comparison(ret);

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

1786

comparison = flip_comparison(comparison);

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

1942

comparison = flip_comparison(comparison);

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

2197

comparison = flip_comparison(data->comparison);

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

2778

op = flip_comparison(op);

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

694

switch (flip ? flip_comparison(op) : op) {

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

998

return flip_comparison(data->comparison);

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

1137

comparison = flip_comparison(comparison);

usr/src/tools/smatch/src/smatch_function_hooks.c

701

comparison = flip_comparison(comparison);

usr/src/tools/smatch/src/smatch_function_hooks.c

709

filter_by_comparison(&ret_range, flip_comparison(comparison), var_rl);

usr/src/tools/smatch/src/smatch_function_hooks.c

716

filter_by_comparison(&ret_range, flip_comparison(negate_comparison(comparison)), var_rl);

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

751

comparison = flip_comparison(comparison);

usr/src/tools/smatch/src/smatch_param_compare_limit.c

108

comparison = flip_comparison(comparison);

usr/src/tools/smatch/src/smatch_strlen.c

132

op = flip_comparison(op);