gcc/testsuite/gnat.dg/array11.adb

   1 -- { dg-do compile }
   2
   3 with System;
   4
   5 procedure Array11 is
   6
   7   type Rec is null record;
   8   type Index_T is mod System.Memory_Size;
   9
  10   type Arr1 is array (1 .. 8) of aliased Rec; -- { dg-warning "padded" }
  11   type Arr2 is array (Index_T) of aliased Rec; -- { dg-warning "padded" }
  12
  13   A1 : Arr1;
  14   A2 : Arr2;
  15
  16 begin
  17   null;
  18 end;