repo.or.cz
/
official-gcc.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
[Ada] Plug small loophole in Generate_Range_Check
[official-gcc.git]
/
gcc
/
testsuite
/
gnat.dg
/
range_check5.adb
blob
dd622964d46d3836ab5dd025def1a473ea8c7750
1
-- { dg-do run }
2
-- { dg-options "-gnateF -O0" }
3
4
procedure
Range_Check5
is
5
6
subtype
Small_Float
is
Float
range
-
100.0
..
100.0
;
7
8
function
Conv
(
F
:
Long_Float
)
return
Small_Float
is
9
begin
10
return
Small_Float
(
F
);
11
end
;
12
13
R
:
Small_Float
;
14
15
begin
16
R
:=
Conv
(
4.0E+38
);
17
raise
Program_Error
;
18
exception
19
when
Constraint_Error
=>
20
null
;
21
end
;