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
Collaboration diagram for clang::ento::StoreManager::FindUniqueBinding:
Collaboration graph

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)

Definition at line 274 of file Store.h.

Member Function Documentation

◆ getRegion()

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

◆ HandleBinding()

bool StoreManager::FindUniqueBinding::HandleBinding ( StoreManager SMgr,
Store  store,
const MemRegion region,
SVal  val 
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 ( )

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