Searched refs:orig_rl (Results 1 – 3 of 3) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_extra.c | 1143 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 D | smatch_array_values.c | 162 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 D | smatch_implied.c | 141 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()
|