diff options
| author | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 11:20:02 +0100 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2017-01-20 11:20:02 +0100 |
| commit | 49779c98ffb4c5e9d8ed3d413e09119f4adeaeef (patch) | |
| tree | 536e5ae32ad16aa8c9ed61eba69005e07b13a686 /gcc/ada/sinfo.ads | |
| parent | 0ce4024a35d3807931eaa7328308dbb45b7f65e7 (diff) | |
| download | gcc-49779c98ffb4c5e9d8ed3d413e09119f4adeaeef.zip gcc-49779c98ffb4c5e9d8ed3d413e09119f4adeaeef.tar.gz gcc-49779c98ffb4c5e9d8ed3d413e09119f4adeaeef.tar.bz2 | |
[multiple changes]
2017-01-20 Arnaud Charlet <charlet@adacore.com>
* exp_ch3.adb: Reenable code.
2017-01-20 Yannick Moy <moy@adacore.com>
* sinfo.ads: Document lack of Do_Division_Check flag
on float exponentiation.
From-SVN: r244693
Diffstat (limited to 'gcc/ada/sinfo.ads')
| -rw-r--r-- | gcc/ada/sinfo.ads | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/gcc/ada/sinfo.ads b/gcc/ada/sinfo.ads index 404630e..bf93852 100644 --- a/gcc/ada/sinfo.ads +++ b/gcc/ada/sinfo.ads @@ -700,7 +700,10 @@ package Sinfo is -- analysis, on expression nodes that may trigger the corresponding -- check. The front end then inserts or not the check during expansion. In -- particular, these flags should also be correctly set in ASIS mode and - -- GNATprove mode. + -- GNATprove mode. As a special case, the front end does not insert a + -- Do_Division_Check flag on float exponentiation expressions, for the case + -- where the value is 0.0 and the exponent is negative, although this case + -- does lead to a division check failure. -- Note: the expander always takes care of the Do_Range check case, -- so this flag will never be set in the expanded tree passed to the |