Go to the documentation of this file.
16 if(type.
id()==ID_merged_type ||
22 else if(type.
id()==ID_static)
24 else if(type.
id()==ID_thread_local)
26 else if(type.
id()==ID_inline)
28 else if(type.
id()==ID_extern)
30 else if(type.
id()==ID_typedef)
32 else if(type.
id()==ID_register)
34 else if(type.
id()==ID_weak)
36 else if(type.
id() == ID_used)
38 else if(type.
id()==ID_auto)
42 else if(type.
id()==ID_msc_declspec)
45 static_cast<const exprt &
>(
static_cast<const irept &
>(type));
47 if(it->id()==ID_thread)
50 else if(type.
id()==ID_alias &&
56 else if(type.
id()==ID_asm &&
62 else if(type.
id()==ID_section &&
const typet & subtype() const
The type of an expression, extends irept.
const string_constantt & to_string_constant(const exprt &expr)
Base class for all expressions.
#define forall_operands(it, expr)
const irep_idt & id() const
#define forall_subtypes(it, type)
void read(const typet &type)
There are a large number of kinds of tree structured or tree-like data in CPROVER.
const irep_idt & get_value() const