diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-26 15:16:39 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-05-26 15:16:39 +0000 |
| commit | e87bc63c0b314ff74a927c7a07623d65520f9042 (patch) | |
| tree | 6bfd203d43ff52ab95d8b8286a5df7612137ed81 | |
| parent | 6b8d43fc1820aef13c4a267f82a92e7e90380ec6 (diff) | |
| download | ppe42-gcc-e87bc63c0b314ff74a927c7a07623d65520f9042.tar.gz ppe42-gcc-e87bc63c0b314ff74a927c7a07623d65520f9042.zip | |
* gnat.dg/specs/array_no_def_init.ads: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@135939 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/testsuite/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gnat.dg/specs/array_no_def_init.ads | 9 |
2 files changed, 13 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 5f0d17b26ab..8a5e58fd969 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 00000000000..b7a024d6fd6 --- /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; |
