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
ansi-c
padding.h
Generated by
1.8.20