39     if (auto *BO = dyn_cast<BinaryOperator>(E)) {  in LogicalBinOp()  local
40       Op = BinaryOperator::getOverloadedOperator(BO->getOpcode());  in LogicalBinOp()
41       LHS = BO->getLHS();  in LogicalBinOp()
42       RHS = BO->getRHS();  in LogicalBinOp()
70   if (LogicalBinOp BO = ConstraintExpression) {  in CheckConstraintExpression()  local
71     return CheckConstraintExpression(BO.getLHS(), NextToken,  in CheckConstraintExpression()
73            CheckConstraintExpression(BO.getRHS(), NextToken,  in CheckConstraintExpression()
131   if (LogicalBinOp BO = ConstraintExpr) {  in calculateConstraintSatisfaction()  local
132     if (calculateConstraintSatisfaction(S, BO.getLHS(), Satisfaction,  in calculateConstraintSatisfaction()
138     if (BO.isOr() && IsLHSSatisfied)  in calculateConstraintSatisfaction()
147     if (BO.isAnd() && !IsLHSSatisfied)  in calculateConstraintSatisfaction()
157         S, BO.getRHS(), Satisfaction, std::forward<AtomicEvaluator>(Evaluator));  in calculateConstraintSatisfaction()
570   if (BinaryOperator *BO = dyn_cast<BinaryOperator>(SubstExpr)) {  in diagnoseWellFormedUnsatisfiedConstraintExpr()  local
571     switch (BO->getOpcode()) {  in diagnoseWellFormedUnsatisfiedConstraintExpr()
577       diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getLHS(), First);  in diagnoseWellFormedUnsatisfiedConstraintExpr()
578       diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(),  in diagnoseWellFormedUnsatisfiedConstraintExpr()
583           BO->getLHS()->EvaluateKnownConstInt(S.Context).getBoolValue();  in diagnoseWellFormedUnsatisfiedConstraintExpr()
586         diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), First);  in diagnoseWellFormedUnsatisfiedConstraintExpr()
590       diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getLHS(), First);  in diagnoseWellFormedUnsatisfiedConstraintExpr()
594           BO->getRHS()->EvaluateKnownConstInt(S.Context).getBoolValue();  in diagnoseWellFormedUnsatisfiedConstraintExpr()
596         diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(),  in diagnoseWellFormedUnsatisfiedConstraintExpr()
606       if (BO->getLHS()->getType()->isIntegerType() &&  in diagnoseWellFormedUnsatisfiedConstraintExpr()
607           BO->getRHS()->getType()->isIntegerType()) {  in diagnoseWellFormedUnsatisfiedConstraintExpr()
610         BO->getLHS()->EvaluateAsInt(SimplifiedLHS, S.Context,  in diagnoseWellFormedUnsatisfiedConstraintExpr()
613         BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context,  in diagnoseWellFormedUnsatisfiedConstraintExpr()
621               << BinaryOperator::getOpcodeStr(BO->getOpcode())  in diagnoseWellFormedUnsatisfiedConstraintExpr()
806   if (LogicalBinOp BO = E) {  in fromConstraintExpr()  local
807     auto LHS = fromConstraintExpr(S, D, BO.getLHS());  in fromConstraintExpr()
810     auto RHS = fromConstraintExpr(S, D, BO.getRHS());  in fromConstraintExpr()
815                                 BO.isAnd() ? CCK_Conjunction : CCK_Disjunction);  in fromConstraintExpr()