1-- { dg-do run } 2-- { dg-options "-O" } 3 4procedure Array5 is 5 6 type myint is range 0 .. 100_000; 7 Bla : constant myint := 359; 8 9 type my_array is array (1 .. 2) of myint; 10 11 type item is record 12 Length : Integer; 13 Content : my_array; 14 end record; 15 16 procedure create_item (M : out item) is 17 begin 18 M.Length := 1; 19 M.Content := (others => Bla); 20 end; 21 22 Var : item; 23 24begin 25 create_item (Var); 26 27 if Var.Length = 1 28 and then Var.Content (1) = Bla 29 then 30 null; 31 else 32 raise Program_Error; 33 end if; 34end; 35