Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_extra.c1143 if (orig_rl) in match_vanilla_assign()
1153 if (orig_rl) in match_vanilla_assign()
2060 get_absolute_rl(var, &orig_rl); in handle_bit_test()
2080 struct range_list *orig_rl; in handle_AND_op() local
2088 get_absolute_rl(var, &orig_rl); in handle_AND_op()
2100 false_rl = orig_rl; in handle_AND_op()
2135 struct range_list *orig_rl; in handle_MOD_condition() local
2146 zero.type = rl_type(orig_rl); in handle_MOD_condition()
2154 if (rl_equiv(true_rl, orig_rl)) in handle_MOD_condition()
2158 (rl_max(orig_rl).value - rl_min(orig_rl).value) / right.value < 5) { in handle_MOD_condition()
[all …]
H A Dsmatch_array_values.c162 struct range_list *orig_rl, *rl; in match_assign() local
184 orig_rl = get_saved_rl(type, name); in match_assign()
185 rl = rl_union(orig_rl, rl); in match_assign()
H A Dsmatch_implied.c141 struct range_list *orig_rl; in create_fake_history() local
154 orig_rl = cast_rl(rl_type(rl), estate_rl(sm->state)); in create_fake_history()
155 split_comparison_helper(orig_rl, comparison, rl, &true_rl, &false_rl); in create_fake_history()
161 rl_equiv(orig_rl, true_rl) || rl_equiv(orig_rl, false_rl) || in create_fake_history()