PR target/84336

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

with Ada.Exceptions; use Ada.Exceptions;

package Noreturn1 is

   procedure Error (E : in Exception_Occurrence);
   pragma No_Return (Error);

end Noreturn1;