cprover
|
ANSI-C Language Type Checking. More...
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 455 of file padding.cpp.
void add_padding | ( | union_typet & | type, |
const namespacet & | |||
) |
Definition at line 464 of file padding.cpp.
mp_integer alignment | ( | const typet & | type, |
const namespacet & | |||
) |
Definition at line 21 of file padding.cpp.