Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
noreturn3.ads
blob: d830a14910e055b671fa8635cbb2affaa0c34b83 [
file
] [
log
] [
blame
]
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
;