diff options
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/range-op-float.cc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/gcc/range-op-float.cc b/gcc/range-op-float.cc index 4fbd96a..ad2fae5 100644 --- a/gcc/range-op-float.cc +++ b/gcc/range-op-float.cc @@ -252,7 +252,8 @@ foperator_equal::op1_range (frange &r, tree type, switch (get_bool_state (r, lhs, type)) { case BRS_TRUE: - r.set_varying (type); + // If it's true, the result is the same as OP2. + r = op2; // The TRUE side of op1 == op2 implies op1 is !NAN. r.set_nan (fp_prop::NO); break; |