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.c96 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()
204 return UNKNOWN_COMPARISON; in rl_comparison()
290 if (one == UNKNOWN_COMPARISON || two == UNKNOWN_COMPARISON) in merge_comparisons()
719 UNKNOWN_COMPARISON, in match_inc()
763 UNKNOWN_COMPARISON, in match_dec()
[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