Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c136 int negate_comparison(int op) in negate_comparison() function
1284 false_op = negate_comparison(op); in handle_comparison()
2682 false_comparison = comparison_intersection(data->comparison, negate_comparison(op)); in create_fake_history()
2721 if (data->comparison == comparison_intersection(data->comparison, negate_comparison(op))) in filter_by_sm()
2734 alloc_sname(show_comparison(negate_comparison(op))), in filter_by_sm()
2736 … alloc_sname(show_comparison(comparison_intersection(data->comparison, negate_comparison(op)))), in filter_by_sm()
H A Dsmatch_constraints.c154 return negate_comparison(op); in negate_gt()
H A Dsmatch_function_hooks.c715 filter_by_comparison(&var_rl, negate_comparison(comparison), ret_range); in db_compare_callback()
716 filter_by_comparison(&ret_range, flip_comparison(negate_comparison(comparison)), var_rl); in db_compare_callback()
H A Dsmatch.h1137 int negate_comparison(int op);