#include <Store.h>
Inheritance diagram for clang::ento::StoreManager::FindUniqueBinding:
Collaboration diagram for clang::ento::StoreManager::FindUniqueBinding:
Public Member Functions | |
| FindUniqueBinding (SymbolRef sym) | |
| bool | HandleBinding (StoreManager &SMgr, Store store, const MemRegion *R, SVal val) override |
| LLVM_EXPLICIT | operator bool () |
| const MemRegion * | getRegion () |
Detailed Description
Constructor & Destructor Documentation
Member Function Documentation
| const MemRegion* clang::ento::StoreManager::FindUniqueBinding::getRegion | ( | ) | [inline] |
Definition at line 229 of file Store.h.
Referenced by GetAllocationSite().
| bool StoreManager::FindUniqueBinding::HandleBinding | ( | StoreManager & | SMgr, |
| Store | store, | ||
| const MemRegion * | R, | ||
| SVal | val | ||
| ) | [override, virtual] |
Implements clang::ento::StoreManager::BindingsHandler.
Definition at line 494 of file Store.cpp.
References clang::ento::SVal::getAsLocSymbol().
| LLVM_EXPLICIT clang::ento::StoreManager::FindUniqueBinding::operator bool | ( | ) | [inline] |
The documentation for this class was generated from the following files: