1-- { dg-do compile }
2-- { dg-options "-fdump-tree-gimple" }
3
4procedure Aggr13 is
5
6   type A is array (Integer range 1 .. 3) of Short_Short_Integer;
7
8   X : A := (1, 2, 3);
9
10   function F return A is
11   begin
12      if X /= (1, 2, 3) then
13        raise Program_Error;
14      end if;
15      return (1, 1, 1);
16   end;
17
18begin
19  X := F;
20end;
21
22-- { dg-final { scan-tree-dump-not "= {}" "gimple" } }
23