class StoreManager::FindUniqueBinding

Declaration

class StoreManager::FindUniqueBinding : public BindingsHandler { /* full declaration omitted */ };

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h:261

Inherits from: StoreManager::BindingsHandler

Member Variables

private clang::ento::SymbolRef Sym

private const clang::ento::MemRegion* Binding = nullptr

private bool First = true

Method Overview

• public FindUniqueBinding(clang::ento::SymbolRef sym)
• public bool HandleBinding(clang::ento::StoreManager & SMgr, clang::ento::Store store, const clang::ento::MemRegion * R, clang::ento::SVal val)
• public const clang::ento::MemRegion * getRegion()
• public bool operator bool()

Inherited from StoreManager::BindingsHandler:

• public HandleBinding

Methods

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

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h:267

Parameters

clang::ento::SymbolRef sym

¶bool HandleBinding(
    clang::ento::StoreManager& SMgr,
    clang::ento::Store store,
    const clang::ento::MemRegion* R,
    clang::ento::SVal val)

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h:271

Parameters

clang::ento::StoreManager& SMgr

clang::ento::Store store

const clang::ento::MemRegion* R

clang::ento::SVal val

Returns

whether the iteration should continue.

¶const clang::ento::MemRegion* getRegion()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h:273

¶bool operator bool()

Declared at: clang/include/clang/StaticAnalyzer/Core/PathSensitive/Store.h:269