1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/align_check.adb b/gcc/testsuite/gnat.dg/align_check.adb
new file mode 100644
index 000000000..b8490f40c
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/align_check.adb
@@ -0,0 +1,21 @@
+-- { dg-do run }
+
+with System; 
+procedure align_check is
+   N_Allocated_Buffers : Natural := 0;
+--      
+   function New_Buffer (N_Bytes : Natural) return System.Address is
+   begin   
+      N_Allocated_Buffers := N_Allocated_Buffers + 1;
+      return System.Null_Address;
+   end;    
+--      
+   Buffer_Address : constant System.Address := New_Buffer (N_Bytes => 8);
+   N : Natural;
+   for N'Address use Buffer_Address;
+--      
+begin   
+   if N_Allocated_Buffers /= 1 then
+      raise Program_Error;
+   end if; 
+end;