cprover
|
Alignment Checks. More...
Go to the source code of this file.
Functions | |
void | print_struct_alignment_problems (const symbol_tablet &symbol_table, std::ostream &out) |
Alignment Checks.
Definition in file alignment_checks.h.
void print_struct_alignment_problems | ( | const symbol_tablet & | symbol_table, |
std::ostream & | out | ||
) |
Definition at line 18 of file alignment_checks.cpp.
References configt::ansi_c, struct_union_typet::components(), config, typet::find_type(), forall_symbols, configt::ansi_ct::memory_operand_size, pointer_offset_size(), irept::pretty(), typet::subtype(), symbol_tablet::symbols, to_array_type(), and to_struct_type().
Referenced by goto_instrument_parse_optionst::doit().