Home
last modified time | relevance | path

Searched refs:true_rl (Results 1 – 5 of 5) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_imaginary_absolute.c54 void __save_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list … in __save_imaginary_state() argument
58 set_true_false_states_expr(my_id, expr, alloc_estate_rl(true_rl), alloc_estate_rl(false_rl)); in __save_imaginary_state()
H A Dsmatch_implied.c142 struct range_list *true_rl, *false_rl; in create_fake_history() local
155 split_comparison_helper(orig_rl, comparison, rl, &true_rl, &false_rl); in create_fake_history()
157 true_rl = rl_truncate_cast(estate_type(sm->state), true_rl); in create_fake_history()
159 if (is_whole_rl(true_rl) || is_whole_rl(false_rl) || in create_fake_history()
160 !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()
162 rl_equiv(estate_rl(sm->state), true_rl) || rl_equiv(estate_rl(sm->state), false_rl)) in create_fake_history()
165 if (rl_intersection(true_rl, false_rl)) { in create_fake_history()
179 show_rl(true_rl), show_rl(false_rl)); in create_fake_history()
184 true_sm->state = clone_partial_estate(sm->state, true_rl); in create_fake_history()
H A Dsmatch_extra.c2081 struct range_list *true_rl = NULL; in handle_AND_op() local
2093 true_rl = remove_range(orig_rl, sval_type_val(known.type, 0), low_mask); in handle_AND_op()
2116 true_rl ? alloc_estate_rl(true_rl) : NULL, in handle_AND_op()
2136 struct range_list *true_rl; in handle_MOD_condition() local
2149 true_rl = remove_range(orig_rl, zero, zero); in handle_MOD_condition()
2150 if (!sval_is_max(rl_max(true_rl)) && in handle_MOD_condition()
2151 !(rl_max(true_rl).value % right.value)) in handle_MOD_condition()
2152 true_rl = remove_range(true_rl, rl_max(true_rl), rl_max(true_rl)); in handle_MOD_condition()
2154 if (rl_equiv(true_rl, orig_rl)) in handle_MOD_condition()
2155 true_rl = NULL; in handle_MOD_condition()
[all …]
H A Dsmatch_math.c861 struct range_list *true_rl, *false_rl; in handle_conditional_rl() local
891 true_rl = NULL; in handle_conditional_rl()
892 get_rl_internal(cond_true, implied, recurse_cnt, &true_rl); in handle_conditional_rl()
901 if (!true_rl || !false_rl) in handle_conditional_rl()
903 true_rl = cast_rl(type, true_rl); in handle_conditional_rl()
906 *res = rl_union(true_rl, false_rl); in handle_conditional_rl()
H A Dsmatch_extra.h240 void __save_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list …