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