gcc/testsuite/gnat.dg/array11.adb

   1 -- { dg-do compile }
   2
   3 procedure Array11 is
   4
   5   type Rec is null record;
   6   type Ptr is access all Rec;
   7
   8   type Arr1 is array (1..8) of aliased Rec; -- { dg-warning "padded" }
   9   type Arr2 is array (Long_Integer) of aliased Rec; -- { dg-warning "padded" }
  10
  11   A1 : Arr1;
  12   A2 : Arr2; -- { dg-warning "Storage_Error will be raised" }
  13
  14 begin
  15   null;
  16 end;