cprover
|
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>
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) |
C++ Language Type Checking.
Definition in file padding.cpp.
void add_padding | ( | struct_typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 455 of file padding.cpp.
void add_padding | ( | union_typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 464 of file padding.cpp.
|
static |
Definition at line 284 of file padding.cpp.
|
static |
Definition at line 167 of file padding.cpp.
mp_integer alignment | ( | const typet & | type, |
const namespacet & | ns | ||
) |
Definition at line 21 of file padding.cpp.
|
static |
Definition at line 151 of file padding.cpp.
|
static |
Definition at line 134 of file padding.cpp.
|
static |
Definition at line 103 of file padding.cpp.