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


1
2
3
4
5
6
7
8

with Ada.Exceptions; use Ada.Exceptions;

package Noreturn2 is

   procedure Raise_From (X : Exception_Occurrence);
   pragma No_Return (Raise_From);

end Noreturn2;