Lines Matching defs:BO
46 if (auto *BO = dyn_cast<BinaryOperator>(E)) {
47 Op = BinaryOperator::getOverloadedOperator(BO->getOpcode());
48 LHS = BO->getLHS();
49 RHS = BO->getRHS();
50 Loc = BO->getExprLoc();
100 if (LogicalBinOp BO = ConstraintExpression) {
101 return CheckConstraintExpression(BO.getLHS(), NextToken,
103 CheckConstraintExpression(BO.getRHS(), NextToken,
331 if (LogicalBinOp BO = ConstraintExpr)
333 S, BO.getLHS(), BO.getOp(), BO.getRHS(), Satisfaction, Evaluator);
1254 if (BinaryOperator *BO = dyn_cast<BinaryOperator>(SubstExpr)) {
1255 switch (BO->getOpcode()) {
1261 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getLHS(), First);
1262 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(),
1267 BO->getLHS()->EvaluateKnownConstInt(S.Context).getBoolValue();
1270 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(), First);
1274 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getLHS(), First);
1278 BO->getRHS()->EvaluateKnownConstInt(S.Context).getBoolValue();
1280 diagnoseWellFormedUnsatisfiedConstraintExpr(S, BO->getRHS(),
1290 if (BO->getLHS()->getType()->isIntegerType() &&
1291 BO->getRHS()->getType()->isIntegerType()) {
1294 BO->getLHS()->EvaluateAsInt(SimplifiedLHS, S.Context,
1297 BO->getRHS()->EvaluateAsInt(SimplifiedRHS, S.Context,
1305 << BinaryOperator::getOpcodeStr(BO->getOpcode())
1582 if (LogicalBinOp BO = E) {
1583 auto LHS = fromConstraintExpr(S, D, BO.getLHS());
1586 auto RHS = fromConstraintExpr(S, D, BO.getRHS());
1591 BO.isAnd() ? CCK_Conjunction : CCK_Disjunction);