19 tmp.
set(ID_C_lvalue,
true);
irep_idt name
The unique identifier.
API to expression classes.
symbol_exprt cpp_symbol_expr(const symbolt &symbol)
typet type
Type of symbol.
Expression to hold a symbol (variable)
void set(const irep_namet &name, const irep_idt &value)