projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 468afa1) | patch
checks.adb (Determine_Range_R): Special case type conversions from integer to float...
authorYannick Moy <moy@adacore.com>
Tue, 25 Apr 2017 10:08:00 +0000 (10:08 +0000)
committerArnaud Charlet <charlet@gcc.gnu.org>
Tue, 25 Apr 2017 10:08:00 +0000 (12:08 +0200)
commit3c77943ebf24f7751cff692cf83fccc4866453e5
tree19cc2c37b4fab98bb4e59452146fcf1789f27587tree
parent468afa1adac2c78fbe8c4c427d41d3697168ec99commit | diff
checks.adb (Determine_Range_R): Special case type conversions from integer to float in order to get bounds in...

2017-04-25  Yannick Moy  <moy@adacore.com>

* checks.adb (Determine_Range_R): Special case type conversions
from integer to float in order to get bounds in that case too.
* eval_fat.adb (Machine): Avoid issuing warnings in GNATprove
mode, for computations involved in interval checking.

From-SVN: r247172
gcc/ada/ChangeLog diff | blob | history
gcc/ada/checks.adb diff | blob | history
gcc/ada/eval_fat.adb diff | blob | history