Iterator over symbols that the current symbol depends on. More...

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

Public Member Functions
	symbol_iterator ()=default

	symbol_iterator (const SymExpr *SE)

symbol_iterator &	operator++ ()

const SymExpr *	operator* ()

bool	operator== (const symbol_iterator &X) const

bool	operator!= (const symbol_iterator &X) const

Detailed Description

Iterator over symbols that the current symbol depends on.

For SymbolData, it's the symbol itself; for expressions, it's the expression symbol and all the operands in it. Note, SymbolDerived is treated as SymbolData - the iterator will NOT visit the parent region.

Definition at line 71 of file SymExpr.h.

Constructor & Destructor Documentation

◆ symbol_iterator() [1/2]

clang::ento::SymExpr::symbol_iterator::symbol_iterator ( )

default

◆ symbol_iterator() [2/2]

SymExpr::symbol_iterator::symbol_iterator ( const SymExpr * SE )

Definition at line 119 of file SymbolManager.cpp.

Member Function Documentation

◆ operator!=()

bool SymExpr::symbol_iterator::operator!= ( const symbol_iterator & X ) const

Definition at line 115 of file SymbolManager.cpp.

References X.

◆ operator*()

SymbolRef SymExpr::symbol_iterator::operator* ( )

Definition at line 129 of file SymbolManager.cpp.

◆ operator++()

SymExpr::symbol_iterator & SymExpr::symbol_iterator::operator++ ( )

Definition at line 123 of file SymbolManager.cpp.

◆ operator==()

bool SymExpr::symbol_iterator::operator== ( const symbol_iterator & X ) const

Definition at line 111 of file SymbolManager.cpp.