2018-03-15 Steven G. Kargl <kargl@gcc.gnu.org>

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

with Ada.Exceptions; use Ada.Exceptions;

package Noreturn2 is

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

end Noreturn2;