class CollectReachableSymbolsCallback

Declaration

class CollectReachableSymbolsCallback : public SymbolVisitor { /* full declaration omitted */ };

Declared at: clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1348

Inherits from: SymbolVisitor

Member Variables

private clang::ento::InvalidatedSymbols& Symbols

Method Overview

• public CollectReachableSymbolsCallback(clang::ento::InvalidatedSymbols & Symbols)
• public bool VisitSymbol(clang::ento::SymbolRef Sym)
• public const clang::ento::InvalidatedSymbols & getSymbols() const

Inherited from SymbolVisitor:

• public VisitMemRegion
• public VisitSymbol

Methods

¶CollectReachableSymbolsCallback(
    clang::ento::InvalidatedSymbols& Symbols)

Declared at: clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1352

Parameters

clang::ento::InvalidatedSymbols& Symbols

¶bool VisitSymbol(clang::ento::SymbolRef Sym)

Description

A visitor method invoked by ProgramStateManager::scanReachableSymbols. The method returns \c true if symbols should continue be scanned and \c false otherwise.

Declared at: clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1357

Parameters

clang::ento::SymbolRef Sym

¶const clang::ento::InvalidatedSymbols&
getSymbols() const

Declared at: clang/lib/StaticAnalyzer/Core/ExprEngine.cpp:1355