gcc/testsuite/gnat.dg/aggr14_pkg.adb

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;