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.c1071 struct range_list *orig_rl = NULL; in match_vanilla_assign() local
1138 get_implied_rl(left, &orig_rl); in match_vanilla_assign()
1143 if (orig_rl) in match_vanilla_assign()
1144 filter_by_comparison(&rl, comparison, orig_rl); in match_vanilla_assign()
1153 if (orig_rl) in match_vanilla_assign()
1154 filter_by_comparison(&rl, comparison, orig_rl); in match_vanilla_assign()
2035 struct range_list *orig_rl, *rl; in handle_bit_test() local
2060 get_absolute_rl(var, &orig_rl); in handle_bit_test()
2061 if (sval_is_negative(rl_min(orig_rl)) || in handle_bit_test()
2062 rl_max(orig_rl).uvalue > type_bits(get_type(shift->left))) in handle_bit_test()
[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()