Searched refs:KnownSVal (Results 1 – 4 of 4) sorted by relevance
258 class KnownSVal : public SVal {260 KnownSVal(const DefinedSVal &V) : SVal(V) {} in KnownSVal() function261 KnownSVal(const UndefinedVal &V) : SVal(V) {} in KnownSVal() function
380 void trackStoredValue(KnownSVal V, const MemRegion *R,
1215 StoreSiteFinder(bugreporter::TrackerRef ParentTracker, KnownSVal V, in StoreSiteFinder()2524 if (auto KV = RVal.getAs<KnownSVal>()) in handle()2648 if (auto KV = V.getAs<KnownSVal>()) { in track()2677 void bugreporter::trackStoredValue(KnownSVal V, const MemRegion *R, in trackStoredValue()
983 bugreporter::trackStoredValue(AllVarBindings[0].second.castAs<KnownSVal>(), in findBindingToReport()