1-- { dg-do compile } 2 3package 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 20end Static_Initializer2; 21 22-- { dg-final { scan-assembler-not "elabs" } } 23