void base_type(typet &type, const namespacet &ns)
ait supplies three of the four components needed: an abstract interpreter (in this case handling func...
codet representation of a function call statement.
Base class for all expressions.
const irept & find(const irep_idt &name) const
const irep_idt & id() const
const typet & follow(const typet &) const
Resolve type symbol to the type it points to.
const union_typet & follow_tag(const union_tag_typet &) const
Follow type tag of union type.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Expression to hold a symbol (variable)
The type of an expression, extends irept.
code_function_callt get_destructor(const namespacet &ns, const typet &type)
#define forall_operands(it, expr)
const irept & get_nil_irep()
API to expression classes for Pointers.
const pointer_typet & to_pointer_type(const typet &type)
Cast a typet to a pointer_typet.
const code_typet & to_code_type(const typet &type)
Cast a typet to a code_typet.
const struct_tag_typet & to_struct_tag_type(const typet &type)
Cast a typet to a struct_tag_typet.