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