Searched refs:trackStoredValue (Results 1 – 4 of 4) sorted by relevance
89 bugreporter::trackStoredValue(*V, VR, *R, in checkPostStmt()
379 void trackStoredValue(KnownSVal V, const MemRegion *R,
981 bugreporter::trackStoredValue(AllVarBindings[0].second.castAs<KnownSVal>(), in findBindingToReport()
2499 void bugreporter::trackStoredValue(KnownSVal V, const MemRegion *R, in trackStoredValue() function in bugreporter