blob: f854e662be3a45fee3b6c14f1d719d9743a0ca35 [file] [log] [blame]
-- { 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;