Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c429 int comparison_intersection(int left_compare, int right_compare) in comparison_intersection() function
556 new = comparison_intersection(extra, data->comparison); in pre_merge_hook()
1068 true_comparison = comparison_intersection(orig_comparison, true_comparison); in update_tf_links()
1069 false_comparison = comparison_intersection(orig_comparison, false_comparison); in update_tf_links()
1329 op = comparison_intersection(orig_comparison, op); in handle_comparison()
1330 false_op = comparison_intersection(orig_comparison, false_op); in handle_comparison()
1746 return comparison_intersection(ret, extra); in get_comparison_helper()
2552 if (!comparison_intersection(remove_unsigned_from_comparison(state_op), op)) in param_compare_limit_is_impossible()
2681 true_comparison = comparison_intersection(data->comparison, op); in create_fake_history()
2682 false_comparison = comparison_intersection(data->comparison, negate_comparison(op)); in create_fake_history()
[all …]
H A Dsmatch.h1118 int comparison_intersection(int orig, int op);