class VarBindingsCollector
Declaration
class VarBindingsCollector : public BindingsHandler { /* full declaration omitted */ };
Declared at: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp:615
Inherits from: StoreManager::BindingsHandler
Member Variables
- private clang::ento::SymbolRef Sym
- private Bindings& Result
Method Overview
- public bool HandleBinding(clang::ento::StoreManager & SMgr, clang::ento::Store Store, const clang::ento::MemRegion * R, clang::ento::SVal Val)
- public VarBindingsCollector(clang::ento::SymbolRef Sym, Bindings & ToFill)
Inherited from StoreManager::BindingsHandler:
Methods
¶bool HandleBinding(
clang::ento::StoreManager& SMgr,
clang::ento::Store Store,
const clang::ento::MemRegion* R,
clang::ento::SVal Val)
bool HandleBinding(
clang::ento::StoreManager& SMgr,
clang::ento::Store Store,
const clang::ento::MemRegion* R,
clang::ento::SVal Val)
Declared at: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp:623
Parameters
- clang::ento::StoreManager& SMgr
- clang::ento::Store Store
- const clang::ento::MemRegion* R
- clang::ento::SVal Val
Returns
whether the iteration should continue.
¶VarBindingsCollector(clang::ento::SymbolRef Sym,
Bindings& ToFill)
VarBindingsCollector(clang::ento::SymbolRef Sym,
Bindings& ToFill)
Declared at: clang/lib/StaticAnalyzer/Checkers/RetainCountChecker/RetainCountDiagnostics.cpp:620
Parameters
- clang::ento::SymbolRef Sym
- Bindings& ToFill