17 tmp.
set(ID_identifier, symbol.
name);
20 tmp.
set(ID_C_lvalue,
true);
irep_idt name
The unique identifier.
Symbol table entry.This is a symbol in the symbol table, stored in an object of type symbol_tablet...
typet type
Type of symbol.
Base class for all expressions.
exprt cpp_symbol_expr(const symbolt &symbol)
void set(const irep_namet &name, const irep_idt &value)