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