gcc/testsuite/gnat.dg/array22.adb

   1 -- { dg-do compile }
   2
   3 with System; use System;
   4
   5 procedure Array22 is
   6
   7    type Integer_Address is mod Memory_Size;
   8
   9    type Memory is array (Integer_Address range <>) of Character;
  10
  11    type Chunk (First, Last : Integer_Address) is record
  12       Mem : Memory (First .. Last);
  13    end record;
  14
  15    C : Chunk (1, 8);
  16    for C'Alignment use 8;
  17    pragma Unreferenced (C);
  18
  19 begin
  20    null;
  21 end;