15 if(type.
id()==ID_merged_type ||
21 else if(type.
id()==ID_static)
23 else if(type.
id()==ID_thread_local)
25 else if(type.
id()==ID_inline)
27 else if(type.
id()==ID_extern)
29 else if(type.
id()==ID_typedef)
31 else if(type.
id()==ID_register)
33 else if(type.
id()==ID_weak)
35 else if(type.
id() == ID_used)
37 else if(type.
id()==ID_auto)
41 else if(type.
id()==ID_msc_declspec)
44 static_cast<const exprt &
>(
static_cast<const irept &
>(type));
46 if(it->id()==ID_thread)
49 else if(type.
id()==ID_alias &&
55 else if(type.
id()==ID_asm &&
61 else if(type.
id()==ID_section &&
The type of an expression.
#define forall_subtypes(it, type)
const irep_idt & id() const
void read(const typet &type)
const irep_idt & get(const irep_namet &name) const
Base class for tree-like data structures with sharing.
#define forall_operands(it, expr)
Base class for all expressions.
const typet & subtype() const