Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c1039 int true_comparison; in update_tf_links() local
1065 true_comparison = combine_comparisons(left_comparison, right_comparison); in update_tf_links()
1068 true_comparison = comparison_intersection(orig_comparison, true_comparison); in update_tf_links()
1082 true_comparison = flip_comparison(true_comparison); in update_tf_links()
1086 if (!true_comparison && !false_comparison) in update_tf_links()
1089 if (true_comparison) in update_tf_links()
1092 true_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 …update_tf_links(pre_stree, right_expr, right_name, right_vsl, flip_comparison(true_comparison), fl… in update_tf_data()
[all …]