12 #ifndef CPROVER_ANSI_C_PADDING_H 13 #define CPROVER_ANSI_C_PADDING_H 23 #endif // CPROVER_ANSI_C_PADDING_H The type of an expression, extends irept.
mp_integer alignment(const typet &type, const namespacet &)
Structure type, corresponds to C style structs.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
void add_padding(struct_typet &type, const namespacet &)