Searched refs:false_comparison (Results 1 – 1 of 1) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_comparison.c | 1040 int false_comparison; in update_tf_links() local
1066 false_comparison = combine_comparisons(left_false_comparison, right_comparison); in update_tf_links()
1069 false_comparison = comparison_intersection(orig_comparison, false_comparison); in update_tf_links()
1083 false_comparison = flip_comparison(false_comparison); in update_tf_links()
1086 if (!true_comparison && !false_comparison) in update_tf_links()
1096 if (false_comparison) in update_tf_links()
1099 false_comparison, in update_tf_links()
1124 int true_comparison, int false_comparison) in update_tf_data() argument
1130 …update_tf_links(pre_stree, left_expr, left_name, left_vsl, true_comparison, false_comparison, righ… in update_tf_data()
1134 …_name, right_vsl, flip_comparison(true_comparison), flip_comparison(false_comparison), left_name, … in update_tf_data()
[all …]
|