10 #ifndef CPROVER_ANSI_C_C_SIZEOF_H 11 #define CPROVER_ANSI_C_C_SIZEOF_H 51 #endif // CPROVER_ANSI_C_C_SIZEOF_H exprt c_sizeof(const typet &src, const namespacet &ns)
The type of an expression.
virtual exprt sizeof_rec(const typet &type)
c_sizeoft(const namespacet &_ns)
exprt operator()(const typet &type)
Base class for all expressions.
exprt c_offsetof(const struct_typet &type, const irep_idt &component_name)