clang  6.0.0svn
Public Member Functions | List of all members
clang::ento::ScanReachableSymbols Class Reference

A utility class that visits the reachable symbols using a custom SymbolVisitor. More...

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

Public Member Functions

 ScanReachableSymbols (ProgramStateRef st, SymbolVisitor &v)
 
bool scan (nonloc::LazyCompoundVal val)
 
bool scan (nonloc::CompoundVal val)
 
bool scan (SVal val)
 
bool scan (const MemRegion *R)
 
bool scan (const SymExpr *sym)
 

Detailed Description

A utility class that visits the reachable symbols using a custom SymbolVisitor.

Terminates recursive traversal when the visitor function returns false.

Definition at line 849 of file ProgramState.h.

Constructor & Destructor Documentation

◆ ScanReachableSymbols()

clang::ento::ScanReachableSymbols::ScanReachableSymbols ( ProgramStateRef  st,
SymbolVisitor v 
)
inline

Definition at line 856 of file ProgramState.h.

Member Function Documentation

◆ scan() [1/5]

bool ScanReachableSymbols::scan ( nonloc::LazyCompoundVal  val)

◆ scan() [2/5]

bool ScanReachableSymbols::scan ( nonloc::CompoundVal  val)

Definition at line 528 of file ProgramState.cpp.

◆ scan() [3/5]

bool ScanReachableSymbols::scan ( SVal  val)

◆ scan() [4/5]

bool ScanReachableSymbols::scan ( const MemRegion R)

◆ scan() [5/5]

bool ScanReachableSymbols::scan ( const SymExpr sym)

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