Lines Matching refs:ConcreteInt

905   } else if (const auto TruthVal = RetVal.getAs<nonloc::ConcreteInt>()) {  in handleComparison()
952                     nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));  in handleIncrement()
970                     nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));  in handleDecrement()
998                       nonloc::ConcreteInt(Max), SVB.getConditionType());  in assumeNoOverflow()
1008                       nonloc::ConcreteInt(Min), SVB.getConditionType());  in assumeNoOverflow()
1046                      nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));  in verifyIncrement()
1053                      nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))));  in verifyDecrement()
1324                     nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),  in handlePushBack()
1350                     nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),  in handlePopBack()
1393                       nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),  in handlePushFront()
1428                     nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),  in handlePopFront()
1535                   nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(1))),  in handleEraseAfter()
1567   if (const auto IntDist = Distance.getAs<nonloc::ConcreteInt>()) {  in advancePosition()
2302   const auto DiffInt = Diff.getAs<nonloc::ConcreteInt>();  in rebaseSymbol()
2313                  nonloc::ConcreteInt(BVF.getValue(llvm::APSInt::get(0))),  in isZero()