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 ()

Detailed Description

Definition at line 272 of file Store.h.

Constructor & Destructor Documentation

FindUniqueBinding()

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

inline

Definition at line 278 of file Store.h.

Member Function Documentation

getRegion()

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

inline

Definition at line 284 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 531 of file Store.cpp.

References clang::ento::SVal::getAsLocSymbol(), and clang::ento::StoreManager::StoreManager().

operator bool()

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

inlineexplicit

Definition at line 280 of file Store.h.

---

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

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