Searched refs:KnownSVal (Results 1 – 4 of 4) sorted by relevance
291 class KnownSVal : public SVal {294 KnownSVal() = default;301 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal() function302 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal() function
378 void trackStoredValue(KnownSVal V, const MemRegion *R,
1164 StoreSiteFinder(bugreporter::TrackerRef ParentTracker, KnownSVal V, in StoreSiteFinder()2282 if (auto KV = RVal.getAs<KnownSVal>()) in handle()2389 if (auto KV = V.getAs<KnownSVal>()) { in track()2418 void bugreporter::trackStoredValue(KnownSVal V, const MemRegion *R, in trackStoredValue()
987 bugreporter::trackStoredValue(AllVarBindings[0].second.castAs<KnownSVal>(), in findBindingToReport()