aboutsummaryrefslogtreecommitdiffstats
path: root/gcc-4.9/gcc/testsuite/gnat.dg/noreturn4.adb
blob: 7225f6cb4f2582e9da9a450ece0db5ba5ead0a53 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
-- { dg-do compile }

with Noreturn4_Pkg; use Noreturn4_Pkg;

package body Noreturn4 is

  procedure P1 (Msg : String) is
  begin
     P1 (Msg, 0);
  end;
  procedure P1 (Msg : String; Val : Integer) is
  begin
     Fatal_Error (Value (It));
  end;

  procedure Fatal_Error (X : Integer) is
  begin
     raise PRogram_Error;
  end;

end Noreturn4;