gcc/testsuite/gnat.dg/noreturn4.ads

   1 package Noreturn4 is
   2
   3   procedure P1 (Msg : String);
   4   procedure P1 (Msg : String; Val : Integer);
   5   pragma No_Return (P1);
   6
   7   procedure Fatal_Error (X : Integer);
   8   pragma No_Return (Fatal_Error);
   9
  10 end Noreturn4;