Searched refs:implied_false (Results 1 – 2 of 2) sorted by relevance
| /illumos-gate/usr/src/tools/smatch/src/ |
| H A D | smatch_implied.c | 732 struct stree **implied_false) in handle_comparison() argument
766 separate_and_filter(sm, comparison, rl, __get_cur_stree(), implied_true, implied_false, &mixed); in handle_comparison()
769 delete_gate_sm_equiv(implied_false, sm->name, sm->sym); in handle_comparison()
772 delete_gate_sm(implied_false, sm->name, sm->sym); in handle_comparison()
780 struct stree **implied_false) in handle_zero_comparison() argument
805 …tmp_range_list(estate_type(sm->state), 0), __get_cur_stree(), implied_true, implied_false, &mixed); in handle_zero_comparison()
807 delete_gate_sm_equiv(implied_false, sm->name, sm->sym); in handle_zero_comparison()
810 delete_gate_sm(implied_false, sm->name, sm->sym); in handle_zero_comparison()
821 struct stree **implied_false) in handled_by_comparison_hook() argument
835 *implied_false = filter_stack(sm, pre_stree, true_stack, false_stack); in handled_by_comparison_hook()
[all …]
|
| H A D | smatch_function_hooks.c | 303 …expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree **implied_false) in call_implies_callbacks() argument
314 *implied_false = NULL; in call_implies_callbacks()
350 *implied_false = false_states; in call_implies_callbacks()
736 … int comparison, struct expression *right, struct stree *implied_true, struct stree *implied_false) in compare_db_return_states_callbacks() argument
840 FOR_EACH_SM(implied_false, sm) { in compare_db_return_states_callbacks()
850 struct stree *implied_false = NULL; in function_comparison() local
871 call_implies_callbacks(comparison, call_expr, sval, call_on_left, &implied_true, &implied_false); in function_comparison()
873 compare_db_return_states_callbacks(left, comparison, right, implied_true, implied_false); in function_comparison()
875 free_stree(&implied_false); in function_comparison()
|