gcc/testsuite/gnat.dg/discr28.adb

   1 -- { dg-do compile }
   2
   3 package body Discr28 is
   4
   5    procedure Dummy (E : Rec) is
   6    begin
   7      null;
   8    end;
   9
  10    function F return Rec is
  11    begin
  12       return Default_Rec;
  13    end;
  14
  15    procedure Proc1 is
  16    begin
  17       Dummy (F);
  18    end;
  19
  20    procedure Proc2 is
  21    begin
  22       Dummy (F);
  23    end;
  24
  25 end Discr28;