CBMC
padding.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: ANSI-C Language Type Checking
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_ANSI_C_PADDING_H
13 #define CPROVER_ANSI_C_PADDING_H
14 
15 #include <util/mp_arith.h>
16 
17 class namespacet;
18 class struct_typet;
19 class typet;
20 class union_typet;
21 
22 mp_integer alignment(const typet &type, const namespacet &);
23 void add_padding(struct_typet &type, const namespacet &);
24 void add_padding(union_typet &type, const namespacet &);
25 
26 #endif // CPROVER_ANSI_C_PADDING_H
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:94
struct_typet
Structure type, corresponds to C style structs.
Definition: std_types.h:231
typet
The type of an expression, extends irept.
Definition: type.h:29
union_typet
The union type.
Definition: c_types.h:147
mp_arith.h
alignment
mp_integer alignment(const typet &type, const namespacet &)
Definition: padding.cpp:23
add_padding
void add_padding(struct_typet &type, const namespacet &)
Definition: padding.cpp:459
mp_integer
BigInt mp_integer
Definition: smt_terms.h:17