gcc/testsuite/gnat.dg/noreturn3.ads

   1 package Noreturn3 is
   2
   3   Exc1 : Exception;
   4   Exc2 : Exception;
   5   Exc3 : Exception;
   6
   7   type Enum is (One, Two, Three);
   8
   9   procedure Raise_Error (E : Enum; ErrorMessage : String);
  10   pragma No_Return (Raise_Error);
  11
  12 end Noreturn3;