diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/noreturn2.ads')
| -rw-r--r-- | gcc/testsuite/gnat.dg/noreturn2.ads | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/noreturn2.ads b/gcc/testsuite/gnat.dg/noreturn2.ads new file mode 100644 index 00000000000..1aaf4e97446 --- /dev/null +++ b/gcc/testsuite/gnat.dg/noreturn2.ads @@ -0,0 +1,8 @@ +with Ada.Exceptions; use Ada.Exceptions; + +package Noreturn2 is + + procedure Raise_From (X : Exception_Occurrence); + pragma No_Return (Raise_From); + +end Noreturn2; |