1 2 3 4 5 6 7 8 9 10 11 12 13 14 15
-- { dg-do compile } package body Noreturn1 is procedure Error (E : in Exception_Occurrence) is Occurrence_Message : constant String := Exception_Message (E); begin if Occurrence_Message = "$" then raise Program_Error; else raise Constraint_Error; end if; end; end Noreturn1;