22 std::stack<const exprt *>
stack;
29 const exprt &e=*stack.top();
32 if(e.
id()==ID_symbol ||
33 e.
id()==ID_next_symbol)
42 if(dest.insert(identifier).second)
43 stack.push(&symbol.
value);
virtual bool lookup(const irep_idt &name, const symbolt *&symbol) const
exprt value
Initial value of symbol.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
const irep_idt & id() const
const irep_idt & get(const irep_namet &name) const
#define forall_operands(it, expr)
Base class for all expressions.
std::unordered_set< irep_idt, irep_id_hash > find_macros_sett
void find_macros(const exprt &src, const namespacet &ns, find_macros_sett &dest)