blob: 83eafe7f36478cfb4af67dd25f684d6cab466339 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
-- { dg-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;
|