Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_capped.c149 struct smatch_state *right_false = NULL; in match_condition() local
173 right_false = &capped; in match_condition()
188 right_false = &capped; in match_condition()
196 set_true_false_states_expr(my_id, right, right_true, right_false); in match_condition()
H A Dsmatch_ranges.c2068 struct range_list *right_true, *right_false; in split_comparison_rl() local
2077 right_false = clone_rl(right_orig); in split_comparison_rl()
2089 right_false = remove_range(right_orig, add_one(rl_max(left_orig)), max); in split_comparison_rl()
2099 right_false = remove_range(right_orig, rl_max(left_orig), max); in split_comparison_rl()
2104 right_false = remove_range(right_false, rl_max(left_orig), rl_max(left_orig)); in split_comparison_rl()
2113 right_false = remove_range(right_orig, rl_min(left_orig), rl_min(left_orig)); in split_comparison_rl()
2123 right_false = remove_range(right_orig, min, rl_min(left_orig)); in split_comparison_rl()
2126 right_false = remove_range(right_false, rl_min(left_orig), rl_min(left_orig)); in split_comparison_rl()
2138 right_false = remove_range(right_orig, min, sub_one(rl_min(left_orig))); in split_comparison_rl()
2142 right_false = clone_rl(left_false); in split_comparison_rl()
[all …]
H A Dsmatch_kernel_user_data.c712 struct smatch_state *right_false = NULL; in handle_compare() local
775 right_false = capped_state; in handle_compare()
789 set_true_false_states_expr(my_id, right, right_true, right_false); in handle_compare()
H A Dsmatch_extra.c1519 struct range_list *right_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()
1562 right_false = rl_truncate_cast(get_type(strip_expr(right)), right_false); in handle_comparison()
1574 if (!right_true || !right_false) { in handle_comparison()
1587 right_false_state = alloc_estate_rl(right_false); in handle_comparison()