Home
last modified time | relevance | path

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

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_capped.c148 struct smatch_state *right_true = NULL; in match_condition() local
180 right_true = &capped; in match_condition()
184 right_true = &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
2076 right_true = clone_rl(right_orig); in split_comparison_rl()
2087 right_true = remove_range(right_orig, min, rl_min(left_orig)); in split_comparison_rl()
2098 right_true = remove_range(right_orig, min, sub_one(rl_min(left_orig))); in split_comparison_rl()
2108 right_true = clone_rl(left_true); in split_comparison_rl()
2122 right_true = remove_range(right_orig, add_one(rl_max(left_orig)), max); in split_comparison_rl()
2136 right_true = remove_range(right_orig, rl_max(left_orig), max); in split_comparison_rl()
2147 right_true = remove_range(right_orig, rl_min(left_orig), rl_min(left_orig)); in split_comparison_rl()
2158 *right_true_rl = right_true; in split_comparison_rl()
H A Dsmatch_kernel_user_data.c711 struct smatch_state *right_true = NULL; in handle_compare() local
784 right_true = 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.c1518 struct range_list *right_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()
1561 right_true = rl_truncate_cast(get_type(strip_expr(right)), right_true); in handle_comparison()
1574 if (!right_true || !right_false) { in handle_comparison()
1586 right_true_state = alloc_estate_rl(right_true); in handle_comparison()