]> git.ipfire.org Git - thirdparty/gcc.git/commit - gcc/ada/checks.adb
projects / thirdparty / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 59b1151) | patch
2017-04-25 Yannick Moy <moy@adacore.com>
authorcharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 25 Apr 2017 10:08:00 +0000 (10:08 +0000)
committercharlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 25 Apr 2017 10:08:00 +0000 (10:08 +0000)
commit3c5c732ffb585c9821b1681f327609fd4c997b44
tree19cc2c37b4fab98bb4e59452146fcf1789f27587tree | snapshot
parent59b1151fdaff0a7a9cea1f647ac058cb686f525fcommit | diff
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.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@247172 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ada/ChangeLog diff | blob | blame | history
gcc/ada/checks.adb diff | blob | blame | history
gcc/ada/eval_fat.adb diff | blob | blame | history
Mirror of https://gcc.gnu.org/git/gcc.git