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()1035 if (Optional<KnownSVal> KV = LVal.getAs<KnownSVal>()) in trackNullOrUndefValue()1064 if (Optional<KnownSVal> KV = V.getAs<KnownSVal>()) in trackNullOrUndefValue()1186 V.castAs<KnownSVal>(), R, EnableNullFPSuppression)); in registerStatementVarDecls()
115 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R, in FindLastStoreBRVisitor()