compiler: give error for non-int arguments to make

[official-gcc.git] / gcc / testsuite / gnat.dg / noreturn3.ads

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;