gcc/testsuite/gnat.dg/array11.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

-- { dg-do compile }

with System;

procedure Array11 is

  type Rec is null record;
  type Index_T is mod System.Memory_Size;

  type Arr1 is array (1 .. 8) of aliased Rec; -- { dg-warning "padded" }
  type Arr2 is array (Index_T) of aliased Rec; -- { dg-warning "padded" }

  A1 : Arr1;
  A2 : Arr2;

begin
  null;
end;