Searched refs:collectConjunctionTerms (Results 1 – 1 of 1) sorted by relevance
3159 static void collectConjunctionTerms(Expr *Clause, in collectConjunctionTerms() function3163 collectConjunctionTerms(BinOp->getLHS(), Terms); in collectConjunctionTerms()3164 collectConjunctionTerms(BinOp->getRHS(), Terms); in collectConjunctionTerms()3246 collectConjunctionTerms(Cond, Terms); in findFailedBooleanCondition()