diff options
| author | Arnaud Charlet <charlet@adacore.com> | 2016-05-02 09:53:16 +0000 |
|---|---|---|
| committer | Arnaud Charlet <charlet@gcc.gnu.org> | 2016-05-02 11:53:16 +0200 |
| commit | bcb0389ef322d30c3031fffe2e6ed0ed7df494d6 (patch) | |
| tree | 51a7901301fd632b8cc42618ad15eacd4c8bd780 /gcc/ada/eval_fat.adb | |
| parent | ef25192beef53daf8cecb32384b1d69d1cfddac9 (diff) | |
| download | gcc-bcb0389ef322d30c3031fffe2e6ed0ed7df494d6.tar.gz | |
get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when they are declared...
2016-05-02 Arnaud Charlet <charlet@adacore.com>
* get_spark_xrefs.adb (Get_Nat, Get_Name): Initialize variables when
they are declared; refine type of a counter from Integer to Natural.
* sem_ch5.adb, gnatcmd.adb, s-intman-posix.adb, eval_fat.adb,
prj.adb, sem_util.adb, s-intman-android.adb, prj-nmsc.adb, sem_ch8.adb,
exp_ch3.adb: Minor editing.
From-SVN: r235729
Diffstat (limited to 'gcc/ada/eval_fat.adb')
| -rw-r--r-- | gcc/ada/eval_fat.adb | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/gcc/ada/eval_fat.adb b/gcc/ada/eval_fat.adb index 5b56ddd5ea2..df6e35aab27 100644 --- a/gcc/ada/eval_fat.adb +++ b/gcc/ada/eval_fat.adb @@ -6,7 +6,7 @@ -- -- -- B o d y -- -- -- --- Copyright (C) 1992-2015, Free Software Foundation, Inc. -- +-- Copyright (C) 1992-2016, 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- -- @@ -666,7 +666,7 @@ package body Eval_Fat is Result := Truncation (RT, abs X); Tail := abs X - Result; - if Tail >= Ureal_Half then + if Tail >= Ureal_Half then Result := Result + Ureal_1; end if; @@ -761,7 +761,7 @@ package body Eval_Fat is Result := Truncation (RT, Abs_X); Tail := Abs_X - Result; - if Tail > Ureal_Half then + if Tail > Ureal_Half then Result := Result + Ureal_1; elsif Tail = Ureal_Half then |