diff options
| author | Yannick Moy <moy@adacore.com> | 2017-04-25 10:08:00 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-04-25 12:08:00 +0200 |
| commit | 3c77943ebf24f7751cff692cf83fccc4866453e5 (patch) | |
| tree | 19cc2c37b4fab98bb4e59452146fcf1789f27587 /gcc/ada/usage.adb | |
| parent | 468afa1adac2c78fbe8c4c427d41d3697168ec99 (diff) | |
| download | gcc-3c77943ebf24f7751cff692cf83fccc4866453e5.zip gcc-3c77943ebf24f7751cff692cf83fccc4866453e5.tar.gz gcc-3c77943ebf24f7751cff692cf83fccc4866453e5.tar.bz2 | |
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
Diffstat (limited to 'gcc/ada/usage.adb')
0 files changed, 0 insertions, 0 deletions