gcc-4.6/gcc/testsuite/gnat.dg/discr29.adb

package body Discr29 is

   procedure Proc (R : out Rec3) is
   begin
      R := (False, Tmp);
   end;

end Discr29;