clang  15.0.0git
Public Member Functions | List of all members
VarBindingsCollector Class Reference
Inheritance diagram for VarBindingsCollector:
Inheritance graph
[legend]
Collaboration diagram for VarBindingsCollector:
Collaboration graph
[legend]

Public Member Functions

 VarBindingsCollector (SymbolRef Sym, Bindings &ToFill)
 
bool HandleBinding (StoreManager &SMgr, Store Store, const MemRegion *R, SVal Val) override
 
- Public Member Functions inherited from clang::ento::StoreManager::BindingsHandler
virtual ~BindingsHandler ()
 

Detailed Description

Definition at line 615 of file RetainCountDiagnostics.cpp.

Constructor & Destructor Documentation

◆ VarBindingsCollector()

VarBindingsCollector::VarBindingsCollector ( SymbolRef  Sym,
Bindings ToFill 
)
inline

Definition at line 620 of file RetainCountDiagnostics.cpp.

Member Function Documentation

◆ HandleBinding()

bool VarBindingsCollector::HandleBinding ( StoreManager SMgr,
Store  store,
const MemRegion region,
SVal  val 
)
inlineoverridevirtual
Returns
whether the iteration should continue.

Implements clang::ento::StoreManager::BindingsHandler.

Definition at line 623 of file RetainCountDiagnostics.cpp.

References clang::ento::SVal::getAsLocSymbol().


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