gcc/testsuite/gnat.dg/discr26.adb

   1 -- { dg-do compile }
   2 -- { dg-options "-gnatws" }
   3
   4 package body Discr26 is
   5
   6   function F1 return My_T1 is
   7     R: My_T1;
   8   begin
   9     return R;
  10   end;
  11
  12   procedure Proc is
  13   begin
  14     if F1.D = 0 then
  15       raise Program_Error;
  16     end if;
  17   end;
  18
  19 end Discr26;