Searched refs:prove_implication (Results 1 – 1 of 1) sorted by relevance
74 bool prove_implication (tree, tree);378 if (prove_implication (c2, c1)) in analyze_pack()728 prove_implication (tree a, tree c) in prove_implication() function786 return prove_implication (a, c); in subsumes_constraints_nonnull()