diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 9 |
2 files changed, 12 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 3c34fe2..6ef9b93 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2003-06-10 Roger Sayle <roger@eyesopen.com> + + * fold-const.c (fold <EQ_EXPR>): Don't fold x == x only if x + is a floating point type *and* we currently honor NaNs. + (fold <NE_EXPR>): Likewise. + 2003-06-10 Mark Mitchell <mark@codesourcery.com> PR c++/11131 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 1f118e8..7b0f2cc 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -7046,15 +7046,18 @@ fold (expr) case EQ_EXPR: case GE_EXPR: case LE_EXPR: - if (! FLOAT_TYPE_P (TREE_TYPE (arg0))) + if (! FLOAT_TYPE_P (TREE_TYPE (arg0)) + || ! HONOR_NANS (TYPE_MODE (TREE_TYPE (arg0)))) return constant_boolean_node (1, type); code = EQ_EXPR; TREE_SET_CODE (t, code); break; case NE_EXPR: - /* For NE, we can only do this simplification if integer. */ - if (FLOAT_TYPE_P (TREE_TYPE (arg0))) + /* For NE, we can only do this simplification if integer + or we don't honor IEEE floating point NaNs. */ + if (FLOAT_TYPE_P (TREE_TYPE (arg0)) + && HONOR_NANS (TYPE_MODE (TREE_TYPE (arg0)))) break; /* ... fall through ... */ case GT_EXPR: |