Searched refs:KnownSVal (Results 1 – 4 of 4) sorted by relevance
236 class KnownSVal : public SVal {238 /*implicit*/ KnownSVal(DefinedSVal V) : SVal(V) {} in KnownSVal() function239 /*implicit*/ KnownSVal(UndefinedVal V) : SVal(V) {} in KnownSVal() function
386 void trackStoredValue(KnownSVal V, const MemRegion *R,
1241 StoreSiteFinder(bugreporter::TrackerRef ParentTracker, KnownSVal V, in StoreSiteFinder()2542 if (auto KV = RVal.getAs<KnownSVal>()) in handle()2666 if (auto KV = V.getAs<KnownSVal>()) { in track()2695 void bugreporter::trackStoredValue(KnownSVal V, const MemRegion *R, in trackStoredValue()
980 bugreporter::trackStoredValue(AllVarBindings[0].second.castAs<KnownSVal>(), in findBindingToReport()