diff options
Diffstat (limited to 'gcc/value-query.cc')
| -rw-r--r-- | gcc/value-query.cc | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcc/value-query.cc b/gcc/value-query.cc index 4af8eca..4637fb4 100644 --- a/gcc/value-query.cc +++ b/gcc/value-query.cc @@ -211,10 +211,19 @@ range_query::get_tree_range (vrange &r, tree expr, gimple *stmt) switch (TREE_CODE (expr)) { case INTEGER_CST: + if (TREE_OVERFLOW_P (expr)) + expr = drop_tree_overflow (expr); + r.set (expr, expr); + return true; + case REAL_CST: if (TREE_OVERFLOW_P (expr)) expr = drop_tree_overflow (expr); r.set (expr, expr); + if (real_isnan (TREE_REAL_CST_PTR (expr))) + as_a <frange> (r).set_nan (fp_prop::YES); + else + as_a <frange> (r).set_nan (fp_prop::NO); return true; case SSA_NAME: |