Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_imaginary_absolute.c54 …e_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list *false_rl) 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()
158 false_rl = rl_truncate_cast(estate_type(sm->state), false_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()
187 false_sm->state = clone_partial_estate(sm->state, false_rl); in create_fake_history()
H A Dsmatch_extra.c2082 struct range_list *false_rl = NULL; in handle_AND_op() local
2100 false_rl = orig_rl; in handle_AND_op()
2102 false_rl = remove_range(false_rl, sval_type_min(known.type), sval_type_val(known.type, -1)); in handle_AND_op()
2103 false_rl = remove_range(false_rl, low_mask, sval_type_max(known.type)); in handle_AND_op()
2104 if (type_signed(high_mask.type) && type_unsigned(rl_type(false_rl))) { in handle_AND_op()
2105 false_rl = remove_range(false_rl, in handle_AND_op()
2106 sval_type_val(rl_type(false_rl), sval_type_max(known.type).uvalue), in handle_AND_op()
2107 sval_type_val(rl_type(false_rl), -1)); in handle_AND_op()
2113 false_rl = remove_range(orig_rl, max, max); in handle_AND_op()
2117 false_rl ? alloc_estate_rl(false_rl) : NULL); in handle_AND_op()
[all …]
H A Dsmatch_math.c861 struct range_list *true_rl, *false_rl; in handle_conditional_rl() local
895 false_rl = NULL; in handle_conditional_rl()
896 get_rl_internal(expr->cond_false, implied, recurse_cnt, &false_rl); in handle_conditional_rl()
901 if (!true_rl || !false_rl) in handle_conditional_rl()
904 false_rl = cast_rl(type, false_rl); in handle_conditional_rl()
906 *res = rl_union(true_rl, false_rl); in handle_conditional_rl()
H A Dsmatch_extra.h240 …_imaginary_state(struct expression *expr, struct range_list *true_rl, struct range_list *false_rl);