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

Inheritance diagram for StoreSiteFinder:

Collaboration diagram for StoreSiteFinder:

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 1210 of file BugReporterVisitors.cpp.

Constructor & Destructor Documentation

StoreSiteFinder::StoreSiteFinder	(	bugreporter::TrackerRef	ParentTracker,
		KnownSVal	V,
		const MemRegion *	R,
		TrackingOptions	Options,
		const StackFrameContext *	OriginSFC = `nullptr`
	)

inline

Parameters

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.

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

override

Definition at line 1244 of file BugReporterVisitors.cpp.

References V.

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

override

Definition at line 1425 of file BugReporterVisitors.cpp.

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