1390   if (auto BO = dyn_cast<BinaryOperator>(S)) {  in CheckInit()  local
1391     if (BO->getOpcode() == BO_Assign)  in CheckInit()
1392       if (auto DRE = dyn_cast<DeclRefExpr>(BO->getLHS()->IgnoreParens()))  in CheckInit()
1393         return SetVarAndLB(dyn_cast<VarDecl>(DRE->getDecl()), BO->getLHS());  in CheckInit()
1447   if (auto BO = dyn_cast<BinaryOperator>(S)) {  in CheckCond()  local
1448     if (BO->isRelationalOp()) {  in CheckCond()
1449       if (GetInitVarDecl(BO->getLHS()) == Var)  in CheckCond()
1450         return SetUB(BO->getRHS(),  in CheckCond()
1451                      (BO->getOpcode() == BO_LT || BO->getOpcode() == BO_LE),  in CheckCond()
1452                      (BO->getOpcode() == BO_LT || BO->getOpcode() == BO_GT),  in CheckCond()
1453                      BO->getSourceRange(), BO->getOperatorLoc());  in CheckCond()
1454       if (GetInitVarDecl(BO->getRHS()) == Var)  in CheckCond()
1455         return SetUB(BO->getLHS(),  in CheckCond()
1456                      (BO->getOpcode() == BO_GT || BO->getOpcode() == BO_GE),  in CheckCond()
1457                      (BO->getOpcode() == BO_LT || BO->getOpcode() == BO_GT),  in CheckCond()
1458                      BO->getSourceRange(), BO->getOperatorLoc());  in CheckCond()
1494   if (auto BO = dyn_cast<BinaryOperator>(RHS)) {  in CheckIncRHS()  local
1495     if (BO->isAdditiveOp()) {  in CheckIncRHS()
1496       bool IsAdd = BO->getOpcode() == BO_Add;  in CheckIncRHS()
1497       if (GetInitVarDecl(BO->getLHS()) == Var)  in CheckIncRHS()
1498         return SetStep(BO->getRHS(), !IsAdd);  in CheckIncRHS()
1499       if (IsAdd && GetInitVarDecl(BO->getRHS()) == Var)  in CheckIncRHS()
1500         return SetStep(BO->getLHS(), false);  in CheckIncRHS()
1541   } else if (auto BO = dyn_cast<BinaryOperator>(S)) {  in CheckInc()  local
1542     switch (BO->getOpcode()) {  in CheckInc()
1545       if (GetInitVarDecl(BO->getLHS()) == Var)  in CheckInc()
1546         return SetStep(BO->getRHS(), BO->getOpcode() == BO_SubAssign);  in CheckInc()
1549       if (GetInitVarDecl(BO->getLHS()) == Var)  in CheckInc()
1550         return CheckIncRHS(BO->getRHS());  in CheckInc()