CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
padding.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: ANSI-C Language Type Checking
4
5Author: 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
17class namespacet;
18class struct_typet;
19class typet;
20class union_typet;
21
22mp_integer alignment(const typet &type, const namespacet &);
23void add_padding(struct_typet &type, const namespacet &);
24void 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:91
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