Inheritance diagram for StdVariantChecker:

[legend]

Public Member Functions
ProgramStateRef	checkRegionChanges (ProgramStateRef State, const InvalidatedSymbols , ArrayRef< const MemRegion >, ArrayRef< const MemRegion * > Regions, const LocationContext , const CallEvent Call) const

bool	evalCall (const CallEvent &Call, CheckerContext &C) const

Public Member Functions inherited from clang::ento::CheckerBase
StringRef	getTagDescription () const override

CheckerNameRef	getCheckerName () const

virtual void	printState (raw_ostream &Out, ProgramStateRef State, const char NL, const char Sep) const
	See CheckerManager::runCheckersForPrintState.

Public Member Functions inherited from clang::ProgramPointTag
	ProgramPointTag (void *tagKind=nullptr)

virtual	~ProgramPointTag ()

virtual StringRef	getTagDescription () const =0

const void *	getTagKind () const
	Used to implement 'isKind' in subclasses.

Additional Inherited Members
Static Public Member Functions inherited from clang::ento::Checker< eval::Call, check::RegionChanges >
static void	_register (CHECKER *checker, CheckerManager &mgr)

Static Public Member Functions inherited from clang::ento::eval::Call
template<typename CHECKER >
static void	_register (CHECKER *checker, CheckerManager &mgr)

Detailed Description

Definition at line 130 of file StdVariantChecker.cpp.

Member Function Documentation

ProgramStateRef StdVariantChecker::checkRegionChanges	(	ProgramStateRef	State,
		const InvalidatedSymbols *	,
		ArrayRef< const MemRegion * >	,
		ArrayRef< const MemRegion * >	Regions,
		const LocationContext *	,
		const CallEvent *	Call
	)		const

inline

Definition at line 141 of file StdVariantChecker.cpp.

References clang::Call.

bool StdVariantChecker::evalCall	(	const CallEvent &	Call,
		CheckerContext &	C
	)		const

inline

Definition at line 154 of file StdVariantChecker.cpp.

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