Searched refs:implied_true (Results 1 – 2 of 2) sorted by relevance
/illumos-gate/usr/src/tools/smatch/src/ |
H A D | smatch_implied.c | 731 struct stree **implied_true, in handle_comparison() argument 766 separate_and_filter(sm, comparison, rl, __get_cur_stree(), implied_true, implied_false, &mixed); in handle_comparison() 768 delete_gate_sm_equiv(implied_true, sm->name, sm->sym); in handle_comparison() 771 delete_gate_sm(implied_true, sm->name, sm->sym); in handle_comparison() 779 struct stree **implied_true, in handle_zero_comparison() argument 805 …TEQUAL, tmp_range_list(estate_type(sm->state), 0), __get_cur_stree(), implied_true, implied_false,… in handle_zero_comparison() 806 delete_gate_sm_equiv(implied_true, sm->name, sm->sym); in handle_zero_comparison() 809 delete_gate_sm(implied_true, sm->name, sm->sym); in handle_zero_comparison() 820 struct stree **implied_true, in handled_by_comparison_hook() argument 834 *implied_true = filter_stack(sm, pre_stree, false_stack, true_stack); in handled_by_comparison_hook() [all …]
|
H A D | smatch_function_hooks.c | 303 …rison, struct expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree *… in call_implies_callbacks() argument 313 *implied_true = NULL; in call_implies_callbacks() 349 *implied_true = true_states; in call_implies_callbacks() 736 …ession *left, int comparison, struct expression *right, struct stree *implied_true, struct stree *… in compare_db_return_states_callbacks() argument 837 FOR_EACH_SM(implied_true, sm) { in compare_db_return_states_callbacks() 849 struct stree *implied_true = 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() 874 free_stree(&implied_true); in function_comparison()
|