Home
last modified time | relevance | path

Searched refs:tmp_false (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/tools/smatch/src/
H A Dsmatch_parsed_conditions.c92 struct state_list *tmp_false = NULL; in parsed_condition_implication_hook() local
104 filter_by_sm(sm, &tmp_true, &tmp_false); in parsed_condition_implication_hook()
105 if (!tmp_true && !tmp_false) in parsed_condition_implication_hook()
112 FOR_EACH_PTR(tmp_false, tmp) { in parsed_condition_implication_hook()
117 free_slist(&tmp_false); in parsed_condition_implication_hook()
H A Dsmatch_stored_conditions.c286 struct state_list *tmp_false = NULL; in stored_condition_implication_hook() local
302 filter_by_sm(sm, &tmp_true, &tmp_false, &recurse_cnt); in stored_condition_implication_hook()
303 if (!tmp_true && !tmp_false) in stored_condition_implication_hook()
314 FOR_EACH_PTR(tmp_false, tmp) { in stored_condition_implication_hook()
320 free_slist(&tmp_false); in stored_condition_implication_hook()
H A Dsmatch_extra.c1565 struct range_list *tmp_true, *tmp_false; in handle_comparison() local
1567 split_comparison_rl(alloc_whole_rl(type), op, right_orig, &tmp_true, &tmp_false, NULL, NULL); in handle_comparison()
1569 tmp_false = rl_truncate_cast(get_type(strip_expr(left)), tmp_false); in handle_comparison()
1570 if (tmp_true && tmp_false) in handle_comparison()
1571 __save_imaginary_state(left, tmp_true, tmp_false); in handle_comparison()
1575 struct range_list *tmp_true, *tmp_false; in handle_comparison() local
1577 split_comparison_rl(alloc_whole_rl(type), op, right_orig, NULL, NULL, &tmp_true, &tmp_false); in handle_comparison()
1579 tmp_false = rl_truncate_cast(get_type(strip_expr(right)), tmp_false); in handle_comparison()
1580 if (tmp_true && tmp_false) in handle_comparison()
1581 __save_imaginary_state(right, tmp_true, tmp_false); in handle_comparison()