gcc/testsuite/gnat.dg/opt25_pkg1.adb

package body Opt25_Pkg1 is

   procedure Swap (A, B : in out T) is
      Tmp : T := A;
   begin
      A := B;
      B := Tmp;
   end Swap;

end Opt25_Pkg1;