From 06581725b92dd7808e1388950b9bb90d095d2315 Mon Sep 17 00:00:00 2001 From: "James A. Morrison" Date: Sat, 30 Jul 2005 14:39:12 +0000 Subject: [PATCH] fold-const.c (tree_expr_nonnegative_p): Always return true for non-integral types. 2005-07-30 James A. Morrison * fold-const.c (tree_expr_nonnegative_p): Always return true for non-integral types. From-SVN: r102587 --- gcc/ChangeLog | 5 +++++ gcc/fold-const.c | 2 +- gcc/testsuite/ChangeLog | 6 +++++- gcc/testsuite/gcc.dg/fold-abs-4.c | 15 +++++++++++++++ 4 files changed, 26 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/fold-abs-4.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index ae5288eb011..f9b52d00471 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-07-30 James A. Morrison + + * fold-const.c (tree_expr_nonnegative_p): Always return true for + non-integral types. + 2005-07-29 Wolfgang Bangerth PR target/22582 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index a2d6250953a..d27eeb0f9f1 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -10719,7 +10719,7 @@ tree_expr_nonnegative_p (tree t) case ABS_EXPR: /* We can't return 1 if flag_wrapv is set because ABS_EXPR = INT_MIN. */ - if (!flag_wrapv) + if (!(flag_wrapv && INTEGRAL_TYPE_P (TREE_TYPE (t)))) return 1; break; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ec62a9581a7..2980e1c9dce 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,4 +1,8 @@ -2005-07-30 Paul Thomas +2005-07-30 James A. Morrison + + * gcc.dg/fold-abs-4.c: new test. + +2005-07-30 Paul Thomas PR fortran/22570 an related issues. * gfortran.dg/x_slash_1.f: New test. diff --git a/gcc/testsuite/gcc.dg/fold-abs-4.c b/gcc/testsuite/gcc.dg/fold-abs-4.c new file mode 100644 index 00000000000..8bf02a808b0 --- /dev/null +++ b/gcc/testsuite/gcc.dg/fold-abs-4.c @@ -0,0 +1,15 @@ +/* { dg-do compile } */ +/* { dg-options "-fdump-tree-gimple -fwrapv" } */ +extern float fabsf (float); +extern float cabsf (_Complex float); + +int f (float a) { + return fabsf(a) < 0.0; +} + +int g (_Complex float a) { + return cabsf (a) < 0.0; +} + +/* { dg-final { scan-tree-dump-times "ABS" 0 "gimple" } } */ +/* { dg-final { cleanup-tree-dump "gimple" } } */ -- 2.30.2