Searched refs:collectConjunctionTerms (Results 1 – 1 of 1) sorted by relevance
3691 static void collectConjunctionTerms(Expr *Clause, in collectConjunctionTerms() function3695 collectConjunctionTerms(BinOp->getLHS(), Terms); in collectConjunctionTerms()3696 collectConjunctionTerms(BinOp->getRHS(), Terms); in collectConjunctionTerms()3778 collectConjunctionTerms(Cond, Terms); in findFailedBooleanCondition()