clang 20.0.0git
Public Member Functions | List of all members
StdVariantChecker Class Reference
Inheritance diagram for StdVariantChecker:
Inheritance graph
[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

◆ 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 141 of file StdVariantChecker.cpp.

References clang::Call.

◆ evalCall()

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

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