Lines Matching refs:ConcreteInt
168 return nonloc::ConcreteInt(Result); in MakeSymIntVal()
224 nonloc::ConcreteInt(Bound), SVB.getConditionType()); in isInRelation()
302 return SVB.evalBinOpNN(State, Op, nonloc::ConcreteInt(LInt), in doRearrangeUnchecked()
303 nonloc::ConcreteInt(RInt), ResultTy) in doRearrangeUnchecked()
485 llvm::APSInt i = rhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()
510 llvm::APSInt LHSValue = lhs.castAs<nonloc::ConcreteInt>().getValue(); in evalBinOpNN()
534 return nonloc::ConcreteInt(*Result); in evalBinOpNN()
668 rhs = nonloc::ConcreteInt(*newRHS); in evalBinOpNN()
831 auto L = lhs.castAs<loc::ConcreteInt>(); in evalBinOpLL()
846 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
851 return evalCast(nonloc::ConcreteInt(*ResultInt), resultTy, QualType{}); in evalBinOpLL()
880 if (Optional<loc::ConcreteInt> rInt = rhs.getAs<loc::ConcreteInt>()) { in evalBinOpLL()
1095 if (Optional<nonloc::ConcreteInt> rhsInt = rhs.getAs<nonloc::ConcreteInt>()) { in evalBinOpLN()
1096 if (Optional<loc::ConcreteInt> lhsInt = lhs.getAs<loc::ConcreteInt>()) { in evalBinOpLN()
1122 return loc::ConcreteInt(getBasicValueFactory().getValue(rightI)); in evalBinOpLN()
1173 if (Optional<loc::ConcreteInt> X = V.getAs<loc::ConcreteInt>()) in getConstValue()
1176 if (Optional<nonloc::ConcreteInt> X = V.getAs<nonloc::ConcreteInt>()) in getConstValue()