gcc/testsuite/gnat.dg/noreturn1.adb

   1 -- { dg-do compile }
   2
   3 package 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
  15 end Noreturn1;