clang  10.0.0svn
Public Member Functions | List of all members
clang::ento::StoreManager::FindUniqueBinding Class Reference

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

Inheritance diagram for clang::ento::StoreManager::FindUniqueBinding:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::StoreManager::FindUniqueBinding:
Collaboration graph
[legend]

Public Member Functions

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

Detailed Description

Definition at line 268 of file Store.h.

Constructor & Destructor Documentation

◆ FindUniqueBinding()

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

Definition at line 274 of file Store.h.

Member Function Documentation

◆ getRegion()

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

◆ 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 544 of file Store.cpp.

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

◆ operator bool()

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

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