Sign in
gnu
/
gcc
/
4e4e45a4fd341174d8231ee6a99e6fe308904f8f
/
.
/
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
;