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
566 if (Optional<KnownSVal> KV = in VisitNode()567 State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode()977 if (Optional<KnownSVal> KV = LVal.getAs<KnownSVal>()) in trackNullOrUndefValue()1006 if (Optional<KnownSVal> KV = V.getAs<KnownSVal>()) in trackNullOrUndefValue()1128 V.castAs<KnownSVal>(), R, EnableNullFPSuppression)); in registerStatementVarDecls()
112 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R, in FindLastStoreBRVisitor()