clang
8.0.0
|
#include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"
Public Member Functions | |
FindUniqueBinding (SymbolRef sym) | |
operator bool () | |
bool | HandleBinding (StoreManager &SMgr, Store store, const MemRegion *R, SVal val) override |
const MemRegion * | getRegion () |
![]() | |
virtual | ~BindingsHandler () |
|
inline |
|
inline |
Definition at line 280 of file Store.h.
References clang::ento::StoreManager::CastRetrievedVal(), clang::ento::StoreManager::iterBindings(), and clang::ento::StoreManager::MakeElementRegion().
|
overridevirtual |
Implements clang::ento::StoreManager::BindingsHandler.
Definition at line 545 of file Store.cpp.
References clang::First, and clang::ento::SVal::getAsLocSymbol().
|
inlineexplicit |
Definition at line 276 of file Store.h.
References clang::ento::StoreManager::BindingsHandler::HandleBinding().