Searched refs:KnownSVal (Results 1 – 3 of 3) sorted by relevance
247 class KnownSVal : public SVal {248 KnownSVal() {} in KnownSVal() function254 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal() function255 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal() function
521 if (Optional<KnownSVal> KV = in VisitNode()522 State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode()869 if (Optional<KnownSVal> KV = LVal.getAs<KnownSVal>()) in trackNullOrUndefValue()918 if (Optional<KnownSVal> KV = V.getAs<KnownSVal>()) in trackNullOrUndefValue()961 if (Optional<KnownSVal> KV = state->getSVal(R).getAs<KnownSVal>()) in createVisitorObject()1023 BR.addVisitor(new FindLastStoreBRVisitor(V.castAs<KnownSVal>(), R)); in registerStatementVarDecls()
115 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R) in FindLastStoreBRVisitor()