Searched defs:implied_false (Results 1 – 2 of 2) sorted by relevance
732 struct stree **implied_false) in handle_comparison()780 struct stree **implied_false) in handle_zero_comparison()821 struct stree **implied_false) in handled_by_comparison_hook()853 struct stree **implied_false) in handled_by_extra_states()869 struct stree **implied_false) in handled_by_parsed_conditions()894 struct stree **implied_false) in handled_by_stored_conditions()923 struct stree **implied_false, in separate_implication_states()948 struct stree **implied_false) in get_tf_states()1019 struct stree *implied_false = NULL; in param_limit_implications() local
303 …expression *expr, sval_t sval, int left, struct stree **implied_true, struct stree **implied_false) in call_implies_callbacks()736 … int comparison, struct expression *right, struct stree *implied_true, struct stree *implied_false) in compare_db_return_states_callbacks()850 struct stree *implied_false = NULL; in function_comparison() local