diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/value-query.cc | 13 | ||||
| -rw-r--r-- | gcc/value-range.cc | 9 |
2 files changed, 11 insertions, 11 deletions
diff --git a/gcc/value-query.cc b/gcc/value-query.cc index 43297f1..a84f164 100644 --- a/gcc/value-query.cc +++ b/gcc/value-query.cc @@ -189,9 +189,16 @@ range_query::get_tree_range (vrange &r, tree expr, gimple *stmt) { frange &f = as_a <frange> (r); REAL_VALUE_TYPE *rv = TREE_REAL_CST_PTR (expr); - f.set (TREE_TYPE (expr), *rv, *rv); - if (!real_isnan (rv)) - f.clear_nan (); + if (real_isnan (rv)) + { + bool sign = real_isneg (rv); + f.set_nan (TREE_TYPE (expr), sign); + } + else + { + nan_state nan (false); + f.set (TREE_TYPE (expr), *rv, *rv, nan); + } return true; } diff --git a/gcc/value-range.cc b/gcc/value-range.cc index 2f37ff3..707b1f1 100644 --- a/gcc/value-range.cc +++ b/gcc/value-range.cc @@ -359,14 +359,7 @@ frange::set (tree type, gcc_unreachable (); } - // Handle NANs. - if (real_isnan (&min) || real_isnan (&max)) - { - gcc_checking_assert (real_identical (&min, &max)); - bool sign = real_isneg (&min); - set_nan (type, sign); - return; - } + gcc_checking_assert (!real_isnan (&min) && !real_isnan (&max)); m_kind = kind; m_type = type; |