summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/array_no_def_init.ads
blob: b7a024d6fd6430170df6acd84a982d4b4f0bb9e8 (plain)
1
2
3
4
5
6
7
8
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;