Home
last modified time | relevance | path

Searched refs:UNKNOWN_COMPARISON (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c64 if (comparison == UNKNOWN_COMPARISON) in show_comparison()
96 return UNKNOWN_COMPARISON; in state_to_comparison()
106 case UNKNOWN_COMPARISON: in flip_comparison()
107 return UNKNOWN_COMPARISON; in flip_comparison()
129 return UNKNOWN_COMPARISON; in flip_comparison()
139 case UNKNOWN_COMPARISON: in negate_comparison()
140 return UNKNOWN_COMPARISON; in negate_comparison()
162 return UNKNOWN_COMPARISON; in negate_comparison()
175 return UNKNOWN_COMPARISON; in rl_comparison()
204 return UNKNOWN_COMPARISON; in rl_comparison()
[all …]
H A Dsmatch_ranges.c355 if (comparison == UNKNOWN_COMPARISON) in filter_by_comparison()
1238 if (comparison == UNKNOWN_COMPARISON) in possibly_true()
1297 if (!left_ranges || !right_ranges || comparison == UNKNOWN_COMPARISON) in possibly_true_rl()
1323 if (!left_ranges || !right_ranges || comparison == UNKNOWN_COMPARISON) in possibly_false_rl()
H A Dsmatch.h1099 #define UNKNOWN_COMPARISON 0 macro