3 package body Noreturn2 is
5 procedure Raise_Exception_No_Defer (Message : String);
6 pragma No_Return (Raise_Exception_No_Defer);
8 procedure Raise_From (X : Exception_Occurrence) is
9 Occurrence_Message : constant String := Exception_Message (X);
11 if Occurrence_Message = "$" then
12 Raise_Exception_No_Defer (Occurrence_Message);
14 Raise_Exception_No_Defer ("::" & Occurrence_Message);
18 procedure Raise_Exception_No_Defer (Message : String) is