diff options
| author | Yannick Moy <moy@adacore.com> | 2019-07-08 08:13:52 +0000 |
|---|---|---|
| committer | Pierre-Marie de Rodat <pmderodat@gcc.gnu.org> | 2019-07-08 08:13:52 +0000 |
| commit | 7800a8fb04adc60273185de201e9dff51b356952 (patch) | |
| tree | 7a508b075f8729b84696d8be705686ce98e56116 /gcc/ada/rtinit.c | |
| parent | 1bb2e1d96eb23d2289765cd0fd9ef10b7a3b7ea3 (diff) | |
| download | gcc-7800a8fb04adc60273185de201e9dff51b356952.zip gcc-7800a8fb04adc60273185de201e9dff51b356952.tar.gz gcc-7800a8fb04adc60273185de201e9dff51b356952.tar.bz2 | |
[Ada] Do not erase precise type on fixed-point real literal
Real literals of fixed-point type are expected to keep their precise
fixed-point type in GNATprove. This is now correctly enforced.
There is no impact on compilation.
2019-07-08 Yannick Moy <moy@adacore.com>
gcc/ada/
* expander.adb (Expand): Do not reset Analyzed flag always.
* sem_eval.adb (Fold_Ureal): Mark node as analyzed.
From-SVN: r273211
Diffstat (limited to 'gcc/ada/rtinit.c')
0 files changed, 0 insertions, 0 deletions