clang  16.0.0git
Public Member Functions | List of all members
VarBindingsCollector Class Reference
Inheritance diagram for VarBindingsCollector:
Inheritance graph
Collaboration diagram for VarBindingsCollector:
Collaboration graph

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 

Definition at line 620 of file RetainCountDiagnostics.cpp.

Member Function Documentation

◆ HandleBinding()

bool VarBindingsCollector::HandleBinding ( StoreManager SMgr,
Store  store,
const MemRegion region,
SVal  val 
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: