clang
15.0.0git
|
Finds last store into the given region, which is different from a given symbolic value. More...
Public Member Functions | |
StoreSiteFinder (bugreporter::TrackerRef ParentTracker, KnownSVal V, const MemRegion *R, TrackingOptions Options, const StackFrameContext *OriginSFC=nullptr) | |
void | Profile (llvm::FoldingSetNodeID &ID) const override |
PathDiagnosticPieceRef | VisitNode (const ExplodedNode *N, BugReporterContext &BRC, PathSensitiveBugReport &BR) override |
Finds last store into the given region, which is different from a given symbolic value.
Definition at line 1210 of file BugReporterVisitors.cpp.
|
inline |
V | We're searching for the store where R received this value. |
R | The region we're tracking. |
Options | Tracking behavior options. |
OriginSFC | Only adds notes when the last store happened in a different stackframe to this one. Disregarded if the tracking kind is thorough. This is useful, because for non-tracked regions, notes about changes to its value in a nested stackframe could be pruned, and this visitor can prevent that without polluting the bugpath too much. |
Definition at line 1229 of file BugReporterVisitors.cpp.
|
override |
Definition at line 1244 of file BugReporterVisitors.cpp.
References V.
|
override |
Definition at line 1425 of file BugReporterVisitors.cpp.
References hasVisibleUpdate(), clang::Expr::IgnoreParenCasts(), isInitializationOfVar(), P, and V.