gcc-4.9/gcc/testsuite/gnat.dg/noreturn4.ads


1
2
3
4
5
6
7
8
9
10

package Noreturn4 is

  procedure P1 (Msg : String);
  procedure P1 (Msg : String; Val : Integer);
  pragma No_Return (P1);

  procedure Fatal_Error (X : Integer);
  pragma No_Return (Fatal_Error);

end Noreturn4;