1--  { dg-do compile }
2
3pragma Restrictions (No_Default_Initialization);
4package Array_No_Def_Init is
5
6   type Int_Array is array (Natural range <>) of Integer;
7   IA : Int_Array (1 .. 10);
8
9end Array_No_Def_Init;
10