blob: f854e662be3a45fee3b6c14f1d719d9743a0ca35 (
plain)
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;
|
