mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-06 04:00:25 +08:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
From-SVN: r135939
This commit is contained in:
Arnaud Charlet 2008-05-26 15:16:39 +00:00 committed by Arnaud Charlet
parent c5ecf679d5
commit 4f2b873ae9
2 changed files with 13 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
gcc/testsuite/ChangeLog
View File

@ -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.

9
gcc/testsuite/gnat.dg/specs/array_no_def_init.ads Normal file
View File

@ -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;