32 lines
704 B
Ada
32 lines
704 B
Ada
|
-- { dg-do run }
|
||
|
|
||
|
with Ada.Text_IO; use Ada.Text_IO;
|
||
|
with System.Storage_Elements; use System.Storage_Elements;
|
||
|
|
||
|
procedure Task_Stack_Align is
|
||
|
|
||
|
type Align_Me is record
|
||
|
Value : Integer;
|
||
|
end record;
|
||
|
for Align_Me'Alignment use Standard'Maximum_Alignment;
|
||
|
|
||
|
procedure Check_Local_Alignment_From (Context : String) is
|
||
|
Object : Align_Me;
|
||
|
begin
|
||
|
if To_Integer (Object'Address) mod Object'Alignment /= 0 then
|
||
|
Put_Line ("alignment check failed in " & Context);
|
||
|
end if;
|
||
|
end;
|
||
|
|
||
|
task type T;
|
||
|
|
||
|
task body T is
|
||
|
begin
|
||
|
Check_Local_Alignment_From ("task T");
|
||
|
end;
|
||
|
|
||
|
Tasks : array (1 .. 50) of T;
|
||
|
begin
|
||
|
Check_Local_Alignment_From ("environment");
|
||
|
end;
|