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 424 of file padding.cpp.
References add_padding_gcc(), add_padding_msvc(), configt::ansi_c, config, configt::ansi_ct::mode, and configt::ansi_ct::VISUAL_STUDIO.
Referenced by c_typecheck_baset::typecheck_compound_body().
void add_padding | ( | union_typet & | type, |
const namespacet & | |||
) |
Definition at line 433 of file padding.cpp.
References alignment(), configt::ansi_c, configt::ansi_ct::char_width, struct_union_typet::components(), config, irept::get_bool(), integer2size_t(), configt::ansi_ct::mode, pointer_offset_bits(), struct_union_typet::componentt::set_is_padding(), struct_union_typet::componentt::set_name(), to_c_bit_field_type(), exprt::type(), underlying_width(), and configt::ansi_ct::VISUAL_STUDIO.
mp_integer alignment | ( | const typet & | type, |
const namespacet & | |||
) |
Definition at line 21 of file padding.cpp.
References alignment(), struct_union_typet::components(), irept::find(), namespace_baset::follow(), namespace_baset::follow_tag(), irept::get_bool(), irept::id(), irept::is_nil(), pointer_offset_size(), typet::subtype(), to_c_enum_tag_type(), to_integer(), and to_struct_union_type().
Referenced by add_padding(), add_padding_gcc(), add_padding_msvc(), alignment(), configt::ansi_ct::set_ILP32(), configt::ansi_ct::set_ILP64(), configt::ansi_ct::set_LLP64(), configt::ansi_ct::set_LP32(), configt::ansi_ct::set_LP64(), c_typecheck_baset::typecheck_expr_alignof(), c_typecheck_baset::typecheck_symbol_type(), and c_typecheck_baset::typecheck_type().