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

1137

int negate_comparison(int op);

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

1284

false_op = negate_comparison(op);

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

2682

false_comparison = comparison_intersection(data->comparison, negate_comparison(op));

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

2721

if (data->comparison == comparison_intersection(data->comparison, negate_comparison(op)))

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

2734

alloc_sname(show_comparison(negate_comparison(op))),

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

2736

alloc_sname(show_comparison(comparison_intersection(data->comparison, negate_comparison(op)))),

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

154

return negate_comparison(op);

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

715

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

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

716

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