padding.cpp File Reference
C++ Language Type Checking. More...
#include "padding.h"#include <algorithm>#include <util/config.h>#include <util/pointer_offset_size.h>#include <util/simplify_expr.h>#include <util/arith_tools.h>
Include dependency graph for padding.cpp:Go to the source code of this file.
Functions | |
| mp_integer | alignment (const typet &type, const namespacet &ns) |
| static optionalt< std::size_t > | underlying_width (const c_bit_field_typet &type, const namespacet &ns) |
| static struct_typet::componentst::iterator | pad_bit_field (struct_typet::componentst &components, struct_typet::componentst::iterator where, std::size_t pad_bits) |
| static struct_typet::componentst::iterator | pad (struct_typet::componentst &components, struct_typet::componentst::iterator where, std::size_t pad_bits) |
| static void | add_padding_msvc (struct_typet &type, const namespacet &ns) |
| static void | add_padding_gcc (struct_typet &type, const namespacet &ns) |
| void | add_padding (struct_typet &type, const namespacet &ns) |
| void | add_padding (union_typet &type, const namespacet &ns) |
Detailed Description
C++ Language Type Checking.
Definition in file padding.cpp.
Function Documentation
◆ add_padding() [1/2]
| void add_padding | ( | struct_typet & | type, |
| const namespacet & | ns | ||
| ) |
Definition at line 442 of file padding.cpp.
◆ add_padding() [2/2]
| void add_padding | ( | union_typet & | type, |
| const namespacet & | ns | ||
| ) |
Definition at line 451 of file padding.cpp.
◆ add_padding_gcc()
|
static |
Definition at line 271 of file padding.cpp.
◆ add_padding_msvc()
|
static |
Definition at line 167 of file padding.cpp.
◆ alignment()
| mp_integer alignment | ( | const typet & | type, |
| const namespacet & | ns | ||
| ) |
Definition at line 21 of file padding.cpp.
◆ pad()
|
static |
Definition at line 151 of file padding.cpp.
◆ pad_bit_field()
|
static |
Definition at line 134 of file padding.cpp.
◆ underlying_width()
|
static |
Definition at line 103 of file padding.cpp.
