Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_comparison.c266 int remove_unsigned_from_comparison(int op) in remove_unsigned_from_comparison() function
298 one = remove_unsigned_from_comparison(one); in merge_comparisons()
299 two = remove_unsigned_from_comparison(two); in merge_comparisons()
368 left_compare = remove_unsigned_from_comparison(left_compare); in combine_comparisons()
369 right_compare = remove_unsigned_from_comparison(right_compare); in combine_comparisons()
437 left_compare = remove_unsigned_from_comparison(left_compare); in comparison_intersection()
438 right_compare = remove_unsigned_from_comparison(right_compare); in comparison_intersection()
2552 if (!comparison_intersection(remove_unsigned_from_comparison(state_op), op)) in param_compare_limit_is_impossible()
H A Dsmatch_constraints.c376 add_constraint(&constraints, remove_unsigned_from_comparison(op), constraint_id); in handle_comparison()
H A Dsmatch.h1138 int remove_unsigned_from_comparison(int op);
H A Dsmatch_extra.c608 comparison = remove_unsigned_from_comparison(condition->op); in get_countdown_info()