diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/task_stack_align.adb')
-rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/task_stack_align.adb | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/task_stack_align.adb b/gcc-4.9/gcc/testsuite/gnat.dg/task_stack_align.adb new file mode 100644 index 000000000..1151a913b --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/task_stack_align.adb @@ -0,0 +1,31 @@ +-- { 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; |