Searched refs:KnownSVal (Results 1 – 3 of 3) sorted by relevance
282 class KnownSVal : public SVal {285 KnownSVal() = default;292 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal() function293 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal() function
103 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R, in FindLastStoreBRVisitor()
1298 if (auto KV = State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode()1629 if (auto KV = LVal.getAs<KnownSVal>()) in trackExpressionValue()1666 if (auto KV = V.getAs<KnownSVal>()) in trackExpressionValue()1704 if (auto KV = RVal.getAs<KnownSVal>()) in trackExpressionValue()1793 V.castAs<KnownSVal>(), R, EnableNullFPSuppression)); in registerStatementVarDecls()