cprover
alignment_checks.cpp File Reference

Alignment Checks. More...

Include dependency graph for alignment_checks.cpp:

Go to the source code of this file.

Functions

void print_struct_alignment_problems (const symbol_tablet &symbol_table, std::ostream &out)
 

Detailed Description

Alignment Checks.

Definition in file alignment_checks.cpp.

Function Documentation

§ print_struct_alignment_problems()