gcc/testsuite/gnat.dg/noreturn3.ads


1
2
3
4
5
6
7
8
9
10
11
12

package Noreturn3 is

  Exc1 : Exception;
  Exc2 : Exception;
  Exc3 : Exception;

  type Enum is (One, Two, Three);

  procedure Raise_Error (E : Enum; ErrorMessage : String);
  pragma No_Return (Raise_Error);

end Noreturn3;