gcc/testsuite/gnat.dg/noreturn2.adb

   1 -- { dg-do compile }
   2
   3 package body Noreturn2 is
   4
   5    procedure Raise_Exception_No_Defer (Message : String);
   6    pragma No_Return (Raise_Exception_No_Defer);
   7
   8    procedure Raise_From (X : Exception_Occurrence) is
   9       Occurrence_Message : constant String := Exception_Message (X);
  10    begin
  11       if Occurrence_Message = "$" then
  12          Raise_Exception_No_Defer (Occurrence_Message);
  13       else
  14          Raise_Exception_No_Defer ("::" & Occurrence_Message);
  15       end if;
  16    end;
  17
  18    procedure Raise_Exception_No_Defer (Message : String) is
  19    begin
  20      raise Program_Error;
  21    end;
  22
  23 end Noreturn2;