diff options
| author | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2013-02-18 18:31:23 +0100 |
|---|---|---|
| committer | Patrick Simianer <simianer@cl.uni-heidelberg.de> | 2013-02-18 18:31:23 +0100 |
| commit | 7deec52e8feb1c908a91224f308e8cbd9a170576 (patch) | |
| tree | c8fb09523f5fef8873bd921da000d42ad5e59b6f /klm/util/double-conversion/strtod.cc | |
| parent | b89fd90083b22e6d4ab469af001a1f15fbcd7da9 (diff) | |
| parent | c17d9c23d023a5c08656376944f636180f0a437b (diff) | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'klm/util/double-conversion/strtod.cc')
| -rw-r--r-- | klm/util/double-conversion/strtod.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/klm/util/double-conversion/strtod.cc b/klm/util/double-conversion/strtod.cc index 9758989f..e298766a 100644 --- a/klm/util/double-conversion/strtod.cc +++ b/klm/util/double-conversion/strtod.cc @@ -506,7 +506,9 @@ float Strtof(Vector<const char> buffer, int exponent) { double double_previous = Double(double_guess).PreviousDouble(); float f1 = static_cast<float>(double_previous); +#ifndef NDEBUG float f2 = float_guess; +#endif float f3 = static_cast<float>(double_next); float f4; if (is_correct) { @@ -515,7 +517,9 @@ float Strtof(Vector<const char> buffer, int exponent) { double double_next2 = Double(double_next).NextDouble(); f4 = static_cast<float>(double_next2); } +#ifndef NDEBUG ASSERT(f1 <= f2 && f2 <= f3 && f3 <= f4); +#endif // If the guess doesn't lie near a single-precision boundary we can simply // return its float-value. |