diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 15:01:55 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-07-30 15:01:55 +0000 |
| commit | be72191f12aaf48c83d4c2623e9aa798df8e8a7e (patch) | |
| tree | 596ec2e35a3dcf2422131c5c69bc15ef43f329c2 /gcc/ada/checks.ads | |
| parent | 97c15ab05ffdb09b2feccf392dce2729c49a7670 (diff) | |
| download | gcc-be72191f12aaf48c83d4c2623e9aa798df8e8a7e.tar.gz | |
2014-07-30 Robert Dewar <dewar@adacore.com>
* exp_ch7.adb, checks.adb, makeutl.adb, makeutl.ads: Minor reformatting.
2014-07-30 Yannick Moy <moy@adacore.com>
* checks.ads: Fix typo in comment.
2014-07-30 Pierre-Marie Derodat <derodat@adacore.com>
* sem_util.adb (Set_Debug_Info_Needed): For scalar types, recurse on
entities that materialize range bounds, if any.
2014-07-30 Vincent Celier <celier@adacore.com>
* projects.texi: Minor spelling fix.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213292 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/checks.ads')
| -rw-r--r-- | gcc/ada/checks.ads | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/gcc/ada/checks.ads b/gcc/ada/checks.ads index 56dcbf50da2..d231e3dfe3e 100644 --- a/gcc/ada/checks.ads +++ b/gcc/ada/checks.ads @@ -312,8 +312,10 @@ package Checks is -- Similar to Determine_Range, but for a node N of floating-point type. OK -- is True on return only for IEEE floating-point types and only if we do -- not have to worry about extended precision (i.e. on the x86, we must be - -- using -msse2 -mfpmath=sse. At the current time, this is used only in + -- using -msse2 -mfpmath=sse). At the current time, this is used only in -- GNATprove, though we could consider using it more generally in future. + -- For that to happen, the possibility of arguments of infinite or NaN + -- value should be taken into account, which is not the case currently. procedure Install_Null_Excluding_Check (N : Node_Id); -- Determines whether an access node requires a runtime access check and |