diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/noreturn3.ads')
| -rw-r--r-- | gcc/testsuite/gnat.dg/noreturn3.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/noreturn3.ads b/gcc/testsuite/gnat.dg/noreturn3.ads new file mode 100644 index 00000000000..d830a14910e --- /dev/null +++ b/gcc/testsuite/gnat.dg/noreturn3.ads @@ -0,0 +1,12 @@ +package Noreturn3 is + + Exc1 : Exception; + Exc2 : Exception; + Exc3 : Exception; + + type Enum is (One, Two, Three); + + procedure Raise_Error (E : Enum; ErrorMessage : String); + pragma No_Return (Raise_Error); + +end Noreturn3; |