gcc/testsuite/gnat.dg/aggr13.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-fdump-tree-gimple" }
   3
   4 procedure 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
  18 begin
  19   X := F;
  20 end;
  21
  22 -- { dg-final { scan-tree-dump-not "= {}" "gimple" } }
  23 -- { dg-final { cleanup-tree-dump "gimple" } }