19 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...
API to expression classes.
typet type
Type of symbol.
Base class for all expressions.
Expression to hold a symbol (variable)
exprt cpp_symbol_expr(const symbolt &symbol)
void set(const irep_namet &name, const irep_idt &value)