gcc-4.9/gcc/testsuite/gnat.dg/aggr14_pkg.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

package body Aggr14_Pkg  is

   function F return A is
   begin
      if X /= (1, 2, 3) then
        raise Program_Error;
      end if;
      return (1, 1, 1);
   end;

   procedure Proc is
   begin
    X := F;
  end;

end Aggr14_Pkg;