Searched refs:CheckImplies (Results 1 – 1 of 1) sorted by relevance
15099 bool CheckImplies = Preds.size() < 16; in add() local15102 if (CheckImplies && implies(N, SE)) in add()15109 if (CheckImplies && N->implies(P, SE)) in add()