diff options
| author | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 08:09:31 +0000 |
|---|---|---|
| committer | charlet <charlet@138bc75d-0d04-0410-961f-82ee72b054a4> | 2014-08-04 08:09:31 +0000 |
| commit | e00420a65724457eda04f056f4d38454b6d9c68d (patch) | |
| tree | 13efdf4ce1f9572139eb45845f4cef3eb107141e /gcc/ada/s-imgrea.adb | |
| parent | ed10407c3fe4ea5d6b7cc9e998e613960cd6e2a7 (diff) | |
| download | gcc-e00420a65724457eda04f056f4d38454b6d9c68d.tar.gz | |
2014-08-04 Robert Dewar <dewar@adacore.com>
* s-imgrea.adb (Image_Floating_Point): Don't add space before +Inf.
* s-fatgen.adb (Pred): Handle Float'First.
(Succ): Handle Float'Last.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@213539 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/ada/s-imgrea.adb')
| -rw-r--r-- | gcc/ada/s-imgrea.adb | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/gcc/ada/s-imgrea.adb b/gcc/ada/s-imgrea.adb index fcfd107dd03..075a5774000 100644 --- a/gcc/ada/s-imgrea.adb +++ b/gcc/ada/s-imgrea.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2013, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2014, Free Software Foundation, Inc. -- -- -- -- GNAT is free software; you can redistribute it and/or modify it under -- -- terms of the GNU General Public License as published by the Free Soft- -- @@ -93,9 +93,10 @@ package body System.Img_Real is -- output of -0.0 on targets where this is the case). We can of -- course still see a -0.0 on a target where Signed_Zeroes is -- False (since this attribute refers to the proper handling of - -- negative zeroes, not to their existence). + -- negative zeroes, not to their existence). We do not generate + -- a blank for positive infinity, since we output an explicit +. - if not Is_Negative (V) + if (not Is_Negative (V) and then V <= Long_Long_Float'Last) or else (not Long_Long_Float'Signed_Zeros and then V = -0.0) then S (1) := ' '; |