From: Arnaud Charlet <charlet@adacore.com>
Date: Mon, 26 May 2008 15:16:39 +0000 (+0000)
Subject: * gnat.dg/specs/array_no_def_init.ads: New test.
X-Git-Tag: releases/gcc-4.4.0~4642
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=4f2b873ae9c36c452d09744a6887694d911c5603;p=thirdparty%2Fgcc.git

* gnat.dg/specs/array_no_def_init.ads: New test.

From-SVN: r135939
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5f0d17b26ab7..8a5e58fd9699 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2008-05-26  Arnaud Charlet  <charlet@adacore.com>
+
+	* gnat.dg/specs/array_no_def_init.ads: New test.
+
 2008-05-26  Kai Tietz  <kai.tietz@onevision.com>
 
 	* gcc-c.torture/execute/pr36321.c: New.
diff --git a/gcc/testsuite/gnat.dg/specs/array_no_def_init.ads b/gcc/testsuite/gnat.dg/specs/array_no_def_init.ads
new file mode 100644
index 000000000000..b7a024d6fd64
--- /dev/null
+++ b/gcc/testsuite/gnat.dg/specs/array_no_def_init.ads
@@ -0,0 +1,9 @@
+--  { dg-do compile }
+
+pragma Restrictions (No_Default_Initialization);
+package Array_No_Def_Init is
+        
+   type Int_Array is array (Natural range <>) of Integer;
+   IA : Int_Array (1 .. 10);
+        
+end Array_No_Def_Init;