Home
last modified time | relevance | path

Searched refs:left_true (Results 1 – 4 of 4) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_capped.c146 struct smatch_state *left_true = NULL; in match_condition() local
172 left_true = &capped; in match_condition()
183 left_true = &capped; in match_condition()
195 set_true_false_states_expr(my_id, left, left_true, left_false); in match_condition()
H A Dsmatch_ranges.c2067 struct range_list *left_true, *left_false; in split_comparison_rl() local
2074 left_true = clone_rl(left_orig); in split_comparison_rl()
2082 left_true = remove_range(left_orig, rl_max(right_orig), max); in split_comparison_rl()
2094 left_true = remove_range(left_orig, add_one(rl_max(right_orig)), max); in split_comparison_rl()
2107 left_true = rl_intersection(left_orig, right_orig); in split_comparison_rl()
2108 right_true = clone_rl(left_true); in split_comparison_rl()
2118 left_true = remove_range(left_orig, min, sub_one(rl_min(right_orig))); in split_comparison_rl()
2132 left_true = remove_range(left_orig, min, rl_min(right_orig)); in split_comparison_rl()
2145 left_true = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig)); in split_comparison_rl()
2154 *left_true_rl = left_true; in split_comparison_rl()
H A Dsmatch_kernel_user_data.c709 struct smatch_state *left_true = NULL; in handle_compare() local
773 left_true = capped_state; in handle_compare()
788 set_true_false_states_expr(my_id, left, left_true, left_false); in handle_compare()
H A Dsmatch_extra.c1515 struct range_list *left_true; in handle_comparison() local
1557 split_comparison_rl(left_orig, op, right_orig, &left_true, &left_false, &right_true, &right_false); in handle_comparison()
1559 left_true = rl_truncate_cast(get_type(strip_expr(left)), left_true); in handle_comparison()
1564 if (!left_true || !left_false) { in handle_comparison()
1584 left_true_state = alloc_estate_rl(left_true); in handle_comparison()