projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1bb2e1d) | patch
[Ada] Do not erase precise type on fixed-point real literal
authorYannick Moy <moy@adacore.com>
Mon, 8 Jul 2019 08:13:52 +0000 (08:13 +0000)
committerPierre-Marie de Rodat <pmderodat@gcc.gnu.org>
Mon, 8 Jul 2019 08:13:52 +0000 (08:13 +0000)
commit7800a8fb04adc60273185de201e9dff51b356952
tree7a508b075f8729b84696d8be705686ce98e56116tree
parent1bb2e1d96eb23d2289765cd0fd9ef10b7a3b7ea3commit | diff
[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
gcc/ada/ChangeLog diff | blob | history
gcc/ada/expander.adb diff | blob | history
gcc/ada/sem_eval.adb diff | blob | history