Lines Matching refs:ConcreteInt

127   if (Optional<nonloc::ConcreteInt> CI = val.getAs<nonloc::ConcreteInt>()) {  in convertToArrayIndex()
136 nonloc::ConcreteInt SValBuilder::makeBoolVal(const CXXBoolLiteralExpr *boolean){  in makeBoolVal()
437     if (Optional<nonloc::ConcreteInt> rInt = RHS.getAs<nonloc::ConcreteInt>())  in makeSymExprValNN()
441     if (Optional<nonloc::ConcreteInt> lInt = LHS.getAs<nonloc::ConcreteInt>())  in makeSymExprValNN()
450     return makeIntVal(-X.castAs<nonloc::ConcreteInt>().getValue());  in evalMinus()
462     return makeIntVal(~X.castAs<nonloc::ConcreteInt>().getValue());  in evalComplement()
524     if (auto RV = rhs.getAs<loc::ConcreteInt>()) {  in evalBinOp()
525       const nonloc::ConcreteInt RhsAsLoc = makeIntVal(RV->getValue());  in evalBinOp()
662   SVal VisitLocConcreteInt(loc::ConcreteInt V) {  in VisitLocConcreteInt()
678       return loc::ConcreteInt(VB.getBasicValueFactory().getValue(Value));  in VisitLocConcreteInt()
860   SVal VisitNonLocConcreteInt(nonloc::ConcreteInt V) {  in VisitNonLocConcreteInt()