clang::ento::StoreManager::FindUniqueBinding Class Reference

#include "clang/StaticAnalyzer/Core/PathSensitive/Store.h"

Inheritance diagram for clang::ento::StoreManager::FindUniqueBinding:

Public Member Functions
	FindUniqueBinding (SymbolRef sym)
	operator bool ()
bool	HandleBinding (StoreManager &SMgr, Store store, const MemRegion *R, SVal val) override
const MemRegion *	getRegion ()
Public Member Functions inherited from clang::ento::StoreManager::BindingsHandler
virtual	~BindingsHandler ()
virtual bool	HandleBinding (StoreManager &SMgr, Store store, const MemRegion *region, SVal val)=0

Detailed Description

Definition at line 265 of file Store.h.

Constructor & Destructor Documentation

FindUniqueBinding()

clang::ento::StoreManager::FindUniqueBinding::FindUniqueBinding ( SymbolRef  sym )

inline

Definition at line 271 of file Store.h.

Member Function Documentation

getRegion()

const MemRegion * clang::ento::StoreManager::FindUniqueBinding::getRegion ( )

inline

Definition at line 277 of file Store.h.

Referenced by GetAllocationSite().

HandleBinding()

bool StoreManager::FindUniqueBinding::HandleBinding ( StoreManager &  SMgr, Store  store, const MemRegion *  region, SVal  val  )

overridevirtual

Returns

whether the iteration should continue.

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

Definition at line 533 of file Store.cpp.

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

operator bool()

clang::ento::StoreManager::FindUniqueBinding::operator bool ( )

inlineexplicit

Definition at line 273 of file Store.h.

References clang::First.

---

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

• include/clang/StaticAnalyzer/Core/PathSensitive/Store.h
• lib/StaticAnalyzer/Core/Store.cpp