1-- { dg-do compile }
2
3with System;
4
5procedure 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
16begin
17  null;
18end;
19