gcc/testsuite/gnat.dg/specs/static_initializer2.ads

   1 -- { dg-do compile }
   2
   3 package Static_Initializer2 is
   4
   5    type A is array (1..5) of Integer;
   6    f : constant A := (1, 2, 3, 4, 5);
   7
   8    i1 : integer renames f(1);
   9    i2 : integer renames f(2);
  10    i3 : integer renames f(3);
  11    i4 : integer renames f(4);
  12    i5 : integer renames f(5);
  13
  14    b1 : boolean := i1 = 1;
  15    b2 : boolean := i2 = 2;
  16    b3 : boolean := i3 = 3;
  17    b4 : boolean := i4 = 4;
  18    b5 : boolean := i5 = 5;
  19
  20 end Static_Initializer2;
  21
  22 -- { dg-final { scan-assembler-not "elabs" } }