gcc/testsuite/gnat.dg/concat_length.adb

   1 -- { dg-do run }
   2
   3 procedure Concat_Length is
   4   type Byte is mod 256;
   5   for Byte'Size use 8;
   6   type Block is array(Byte range <>) of Integer;
   7
   8   C0: Block(1..7) := (others => 0);
   9   C1: Block(8..255) := (others => 0);
  10   C2: Block := C0 & C1;
  11 begin
  12    if C2'Length /= 255 then
  13       raise Program_Error;
  14    end if;
  15 end;