-- { 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;