gcc/testsuite/gnat.dg/noreturn4.adb

   1 -- { dg-do compile }
   2
   3 with Noreturn4_Pkg; use Noreturn4_Pkg;
   4
   5 package body Noreturn4 is
   6
   7   procedure P1 (Msg : String) is
   8   begin
   9      P1 (Msg, 0);
  10   end;
  11   procedure P1 (Msg : String; Val : Integer) is
  12   begin
  13      Fatal_Error (Value (It));
  14   end;
  15
  16   procedure Fatal_Error (X : Integer) is
  17   begin
  18      raise PRogram_Error;
  19   end;
  20
  21 end Noreturn4;