gcc/testsuite/gnat.dg/aggr14_pkg.adb

   1 package body Aggr14_Pkg  is
   2
   3    function F return A is
   4    begin
   5       if X /= (1, 2, 3) then
   6         raise Program_Error;
   7       end if;
   8       return (1, 1, 1);
   9    end;
  10
  11    procedure Proc is
  12    begin
  13     X := F;
  14   end;
  15
  16 end Aggr14_Pkg;