cprover
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/std_types.h>
16 #include <util/namespace.h>
17 #include <util/mp_arith.h>
18 
19 mp_integer alignment(const typet &type, const namespacet &);
20 void add_padding(struct_typet &type, const namespacet &);
21 void add_padding(union_typet &type, const namespacet &);
22 
23 #endif // CPROVER_ANSI_C_PADDING_H
mp_arith.h
typet
The type of an expression, extends irept.
Definition: type.h:29
alignment
mp_integer alignment(const typet &type, const namespacet &)
Definition: padding.cpp:21
mp_integer
BigInt mp_integer
Definition: mp_arith.h:19
namespace.h
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
std_types.h
Pre-defined types.
union_typet
The union type.
Definition: std_types.h:393
add_padding
void add_padding(struct_typet &type, const namespacet &)
Definition: padding.cpp:455
struct_typet
Structure type, corresponds to C style structs.
Definition: std_types.h:226