diff options
Diffstat (limited to 'gcc/real.c')
-rw-r--r-- | gcc/real.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/gcc/real.c b/gcc/real.c index 85ac83d3fdc..a29212643f5 100644 --- a/gcc/real.c +++ b/gcc/real.c @@ -1808,15 +1808,13 @@ real_to_decimal_for_mode (char *str, const REAL_VALUE_TYPE *r_orig, /* Append the exponent. */ sprintf (last, "e%+d", dec_exp); -#ifdef ENABLE_CHECKING /* Verify that we can read the original value back in. */ - if (mode != VOIDmode) + if (flag_checking && mode != VOIDmode) { real_from_string (&r, str); real_convert (&r, mode, &r); gcc_assert (real_identical (&r, r_orig)); } -#endif } /* Likewise, except always uses round-to-nearest. */ |