StdVariantChecker Class Reference

Inheritance diagram for StdVariantChecker:

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	getDebugTag () const override
	Attached to nodes created by this checker class when the ExplodedGraph is dumped for debugging.
Public Member Functions inherited from clang::ento::CheckerFrontend
void	enable (CheckerManager &Mgr)
bool	isEnabled () const
CheckerNameRef	getName () const
Public Member Functions inherited from clang::ento::CheckerBackend
virtual void	printState (raw_ostream &Out, ProgramStateRef State, const char *NL, const char *Sep) const
	Debug state dump callback, see CheckerManager::runCheckersForPrintState.
Public Member Functions inherited from clang::ProgramPointTag
	ProgramPointTag (void *tagKind=nullptr)
virtual	~ProgramPointTag ()
const void *	getTagKind () const
	Used to implement 'isKind' in subclasses.

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

Detailed Description

Definition at line 128 of file StdVariantChecker.cpp.

Member Function Documentation

checkRegionChanges()

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

inline

Definition at line 139 of file StdVariantChecker.cpp.

References clang::Call, and clang::ento::tagged_union_modeling::removeInformationStoredForDeadInstances().

evalCall()

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

inline

Definition at line 152 of file StdVariantChecker.cpp.

References clang::C, clang::Call, clang::cast(), clang::ento::tagged_union_modeling::handleConstructorAndAssignment(), and clang::isa().

---

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

• lib/StaticAnalyzer/Checkers/StdVariantChecker.cpp