Searched refs:KnownSVal (Results 1 – 3 of 3) sorted by relevance
255 class KnownSVal : public SVal {256 KnownSVal() {} in KnownSVal() function262 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal() function263 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal() function
570 if (Optional<KnownSVal> KV = in VisitNode()571 State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode()981 if (Optional<KnownSVal> KV = LVal.getAs<KnownSVal>()) in trackNullOrUndefValue()1014 if (Optional<KnownSVal> KV = V.getAs<KnownSVal>()) in trackNullOrUndefValue()1133 BR.addVisitor(new FindLastStoreBRVisitor(V.castAs<KnownSVal>(), R, in registerStatementVarDecls()
114 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R, in FindLastStoreBRVisitor()