Searched refs:tmp_true (Results 1 – 3 of 3) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_parsed_conditions.c | 91 struct state_list *tmp_true = 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() 108 FOR_EACH_PTR(tmp_true, tmp) { in parsed_condition_implication_hook() 116 free_slist(&tmp_true); in parsed_condition_implication_hook()
|
H A D | smatch_stored_conditions.c | 285 struct state_list *tmp_true = 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() 310 FOR_EACH_PTR(tmp_true, tmp) { in stored_condition_implication_hook() 319 free_slist(&tmp_true); in stored_condition_implication_hook()
|
H A D | smatch_extra.c | 1565 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() 1568 tmp_true = rl_truncate_cast(get_type(strip_expr(left)), tmp_true); 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() 1578 tmp_true = rl_truncate_cast(get_type(strip_expr(right)), tmp_true); in handle_comparison() 1580 if (tmp_true && tmp_false) in handle_comparison() 1581 __save_imaginary_state(right, tmp_true, tmp_false); in handle_comparison()
|