clang  14.0.0git
Public Member Functions | List of all members
StoreSiteFinder Class Referencefinal

Finds last store into the given region, which is different from a given symbolic value. More...

Inheritance diagram for StoreSiteFinder:
Inheritance graph
[legend]
Collaboration diagram for StoreSiteFinder:
Collaboration graph
[legend]

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
 

Detailed Description

Finds last store into the given region, which is different from a given symbolic value.

Definition at line 1206 of file BugReporterVisitors.cpp.

Constructor & Destructor Documentation

◆ StoreSiteFinder()

StoreSiteFinder::StoreSiteFinder ( bugreporter::TrackerRef  ParentTracker,
KnownSVal  V,
const MemRegion *  R,
TrackingOptions  Options,
const StackFrameContext OriginSFC = nullptr 
)
inline
Parameters
VWe're searching for the store where R received this value.
RThe region we're tracking.
OptionsTracking behavior options.
OriginSFCOnly 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 1225 of file BugReporterVisitors.cpp.

Member Function Documentation

◆ Profile()

void StoreSiteFinder::Profile ( llvm::FoldingSetNodeID &  ID) const
override

Definition at line 1240 of file BugReporterVisitors.cpp.

References V.

◆ VisitNode()

PathDiagnosticPieceRef StoreSiteFinder::VisitNode ( const ExplodedNode *  N,
BugReporterContext &  BRC,
PathSensitiveBugReport &  BR 
)
override

The documentation for this class was generated from the following file: