gcc/testsuite/gnat.dg/concat1.adb

   1 -- { dg-do run }
   2 -- { dg-options "-O2" }
   3
   4 with Concat1_Pkg; use Concat1_Pkg;
   5
   6 procedure Concat1 is
   7
   8   Ident_1 : Integer := Ident (1);
   9   Ident_2 : Integer := Ident (2);
  10   Ident_5 : Integer := Ident (5);
  11
  12   type Arr is array (Integer range <>) of Integer;
  13   A : Arr (1..10);
  14
  15 begin
  16   A := (1, 2, 3, 4, 5, 6, 7, 8, 9, 10);
  17   A := 0 & A(Ident_1..Ident_2) & A(Ident_1..Ident_2) & A(Ident_1..Ident_5);
  18   if A /= (0, 1, 2, 1, 2, 1, 2, 3, 4, 5) then
  19     raise Program_Error;
  20   end if;
  21 end;