Searched refs:KnownSVal (Results 1 – 4 of 4) sorted by relevance
278 class KnownSVal : public SVal {281 KnownSVal() = default;288 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal() function289 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal() function
149 FindLastStoreBRVisitor(KnownSVal V, const MemRegion *R,
1591 if (auto KV = State->getSVal(OriginalR).getAs<KnownSVal>()) in VisitNode()2100 if (auto KV = LVal.getAs<KnownSVal>()) in trackExpressionValue()2143 if (auto KV = V.getAs<KnownSVal>()) in trackExpressionValue()2183 if (auto KV = RVal.getAs<KnownSVal>()) in trackExpressionValue()
988 AllVarBindings[0].second.castAs<KnownSVal>(), AllocBindingToReport, in findBindingToReport()