Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_capped.c147 struct smatch_state *left_false = NULL; in match_condition() local
179 left_false = &capped; in match_condition()
187 left_false = &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
2075 left_false = clone_rl(left_orig); in split_comparison_rl()
2084 left_false = remove_range(left_orig, min, sub_one(rl_min(right_orig))); in split_comparison_rl()
2095 left_false = remove_range(left_orig, min, rl_min(right_orig)); in split_comparison_rl()
2102 left_false = remove_range(left_false, rl_min(left_orig), rl_min(left_orig)); in split_comparison_rl()
2111 left_false = remove_range(left_orig, rl_min(right_orig), rl_min(right_orig)); in split_comparison_rl()
2119 left_false = remove_range(left_orig, rl_max(right_orig), max); in split_comparison_rl()
2128 left_false = remove_range(left_false, rl_max(left_orig), rl_max(left_orig)); in split_comparison_rl()
2134 left_false = remove_range(left_orig, add_one(rl_max(right_orig)), max); in split_comparison_rl()
2141 left_false = rl_intersection(left_orig, right_orig); in split_comparison_rl()
[all …]
H A Dsmatch_kernel_user_data.c710 struct smatch_state *left_false = NULL; in handle_compare() local
782 left_false = 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.c1516 struct range_list *left_false; in handle_comparison() local
1557 split_comparison_rl(left_orig, op, right_orig, &left_true, &left_false, &right_true, &right_false); in handle_comparison()
1560 left_false = rl_truncate_cast(get_type(strip_expr(left)), left_false); in handle_comparison()
1564 if (!left_true || !left_false) { in handle_comparison()
1585 left_false_state = alloc_estate_rl(left_false); in handle_comparison()