Searched refs:call_on_left (Results 1 – 1 of 1) sorted by relevance
747 int call_on_left; in compare_db_return_states_callbacks() local752 call_on_left = 1; in compare_db_return_states_callbacks()756 call_on_left = 0; in compare_db_return_states_callbacks()766 db_info.left = call_on_left; in compare_db_return_states_callbacks()853 int call_on_left; in function_comparison() local859 call_on_left = 1; in function_comparison()863 call_on_left = 0; in function_comparison()871 call_implies_callbacks(comparison, call_expr, sval, call_on_left, &implied_true, &implied_false); in function_comparison()