diff options
Diffstat (limited to 'gcc-4.9/gcc/testsuite/gnat.dg/noreturn1.ads')
| -rw-r--r-- | gcc-4.9/gcc/testsuite/gnat.dg/noreturn1.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc-4.9/gcc/testsuite/gnat.dg/noreturn1.ads b/gcc-4.9/gcc/testsuite/gnat.dg/noreturn1.ads new file mode 100644 index 000000000..c63e43999 --- /dev/null +++ b/gcc-4.9/gcc/testsuite/gnat.dg/noreturn1.ads @@ -0,0 +1,8 @@ +with Ada.Exceptions; use Ada.Exceptions; + +package Noreturn1 is + + procedure Error (E : in Exception_Occurrence); + pragma No_Return (Error); + +end Noreturn1; |