Sign in
gnu
/
gcc
/
a8404c07e7fca388c02c39077865f7d5fa928430
/
.
/
gcc
/
testsuite
/
gnat.dg
/
noreturn4.ads
blob: d6216da33619817608d12c9d2ca35b07487a649c [
file
] [
log
] [
blame
]
package
Noreturn4
is
procedure P1
(
Msg
:
String
);
procedure P1
(
Msg
:
String
;
Val
:
Integer
);
pragma
No_Return
(
P1
);
procedure
Fatal_Error
(
X
:
Integer
);
pragma
No_Return
(
Fatal_Error
);
end
Noreturn4
;