Lines Matching refs:getAs
182 while (Node && Node->getLocation().getAs<PostStmt>())
202 if (Optional<Loc> LValue = RetVal.getAs<Loc>())
212 if (Optional<Loc> RetLoc = RetVal.getAs<Loc>())
257 if ((LValue = V.getAs<Loc>())) {
259 if (RValue.getAs<DefinedSVal>())
265 if (V.getAs<nonloc::LazyCompoundVal>() ||
266 V.getAs<nonloc::CompoundVal>())
286 if (V.getAs<Loc>()) {
351 Optional<Loc> ArgV = Call->getArgSVal(I).getAs<Loc>();
487 if (V.isUndef() || V.getAs<loc::ConcreteInt>()) {
522 State->getSVal(OriginalR).getAs<KnownSVal>())
537 if (V.getAs<loc::ConcreteInt>()) {
551 V.getAs<nonloc::ConcreteInt>()) {
569 } else if (StoreSite->getLocation().getAs<CallEnter>()) {
575 if (V.getAs<loc::ConcreteInt>()) {
583 V.getAs<nonloc::ConcreteInt>()) {
599 if (V.getAs<loc::ConcreteInt>()) {
616 V.getAs<nonloc::ConcreteInt>()) {
630 if (P.getAs<CallEnter>() && InitE)
678 if (Constraint.getAs<Loc>()) {
812 assert(N->getLocation().getAs<CallEnter>() && "Tracking arg but not at call");
819 if (Optional<PostStmt> ps = pp.getAs<PostStmt>()) {
822 } else if (Optional<CallExitEnd> CEE = pp.getAs<CallExitEnd>()) {
845 if (Optional<PostStmt> P = LVNode->getLocation().getAs<PostStmt>()) {
869 if (Optional<KnownSVal> KV = LVal.getAs<KnownSVal>())
918 if (Optional<KnownSVal> KV = V.getAs<KnownSVal>())
938 if (Optional<loc::MemRegionVal> L = V.getAs<loc::MemRegionVal>()) {
961 if (Optional<KnownSVal> KV = state->getSVal(R).getAs<KnownSVal>())
981 Optional<DefinedOrUnknownSVal> DV = V.getAs<DefinedOrUnknownSVal>();
1021 if (V.getAs<loc::ConcreteInt>() || V.getAs<nonloc::ConcreteInt>()) {
1075 if (Optional<BlockEdge> BE = progPoint.getAs<BlockEdge>()) {
1082 if (Optional<PostStmt> PS = progPoint.getAs<PostStmt>()) {
1431 Optional<CallEnter> CEnter = ProgLoc.getAs<CallEnter>();
