2016-11-21 Thomas Preud'homme <thomas.preudhomme@arm.com>
[official-gcc.git] / gcc / testsuite / gnat.dg / specs / array_no_def_init.ads
blobb7a024d6fd6430170df6acd84a982d4b4f0bb9e8
1 -- { dg-do compile }
3 pragma Restrictions (No_Default_Initialization);
4 package Array_No_Def_Init is
6 type Int_Array is array (Natural range <>) of Integer;
7 IA : Int_Array (1 .. 10);
9 end Array_No_Def_Init;