Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
raise_from_pure.adb
blob: 62e543e94dbe25b958c776e576498219699807ad [
file
] [
log
] [
blame
]
package
body raise_from_pure
is
function
Raise_CE_If_0
(
P
:
Integer
)
return
Integer
is
begin
if
P
=
0
then
raise
Constraint_error
;
end
if
;
return
1
;
end
;
end
;