CBMC
|
#include <util/mp_arith.h>
Go to the source code of this file.
Functions | |
mp_integer | alignment (const typet &type, const namespacet &) |
void | add_padding (struct_typet &type, const namespacet &) |
void | add_padding (union_typet &type, const namespacet &) |
ANSI-C Language Type Checking
Definition in file padding.h.
void add_padding | ( | struct_typet & | type, |
const namespacet & | |||
) |
Definition at line 458 of file padding.cpp.
void add_padding | ( | union_typet & | type, |
const namespacet & | |||
) |
Definition at line 467 of file padding.cpp.
mp_integer alignment | ( | const typet & | type, |
const namespacet & | |||
) |
Definition at line 23 of file padding.cpp.