3 with Ada.Text_IO; use Ada.Text_IO;
4 with System.Storage_Elements; use System.Storage_Elements;
6 procedure Task_Stack_Align is
8 type Align_Me is record
11 for Align_Me'Alignment use Standard'Maximum_Alignment;
13 procedure Check_Local_Alignment_From (Context : String) is
16 if To_Integer (Object'Address) mod Object'Alignment /= 0 then
17 Put_Line ("alignment check failed in " & Context);
25 Check_Local_Alignment_From ("task T");
28 Tasks : array (1 .. 50) of T;
30 Check_Local_Alignment_From ("environment");