| -- { 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; |