diff options
| author | Andrew Pinski <pinskia@gmail.com> | 2007-11-04 11:04:49 -0800 |
|---|---|---|
| committer | Andrew Pinski <pinskia@gcc.gnu.org> | 2007-11-04 11:04:49 -0800 |
| commit | 4c85a3da5f18632479e7f4a1d78f0620f0bb6198 (patch) | |
| tree | 55fa5003a0462ba5e9d62abcbf6323f5f14e4780 /gcc | |
| parent | 7284a19735613a5b528e7115df1e30afeb30b48b (diff) | |
| download | gcc-4c85a3da5f18632479e7f4a1d78f0620f0bb6198.zip gcc-4c85a3da5f18632479e7f4a1d78f0620f0bb6198.tar.gz gcc-4c85a3da5f18632479e7f4a1d78f0620f0bb6198.tar.bz2 | |
re PR middle-end/32931 (FORALL and WHERE give an ICE with -m64)
2007-11-04 Andrew Pinski <pinskia@gmail.com>
PR middle-end/32931
* fold-const.c (fold_binary <case EQ_EXPR>): Convert the inner type
for TRUTH_NOT_EXPR to type.
2007-11-04 Andrew Pinski <pinskia@gmail.com>
PR middle-end/32931
* gfortran.fortran-torture/compile/forall-1.f90: New testcase.
From-SVN: r129886
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gfortran.fortran-torture/compile/forall-1.f90 | 7 |
4 files changed, 20 insertions, 2 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 7a984d3..7e16d42 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2007-11-04 Andrew Pinski <pinskia@gmail.com> + + PR middle-end/32931 + * fold-const.c (fold_binary <case EQ_EXPR>): Convert the inner type + for TRUTH_NOT_EXPR to type. + 2007-11-04 Gerald Pfeifer <gerald@pfeifer.com> * doc/contrib.texi (Contributors): Add Manuel Lopez-Ibanez. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index a7d2756..a09c9ea 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -11709,12 +11709,12 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1) /* bool_var != 1 becomes !bool_var. */ if (TREE_CODE (TREE_TYPE (arg0)) == BOOLEAN_TYPE && integer_onep (arg1) && code == NE_EXPR) - return fold_build1 (TRUTH_NOT_EXPR, type, arg0); + return fold_build1 (TRUTH_NOT_EXPR, type, fold_convert (type, arg0)); /* bool_var == 0 becomes !bool_var. */ if (TREE_CODE (TREE_TYPE (arg0)) == BOOLEAN_TYPE && integer_zerop (arg1) && code == EQ_EXPR) - return fold_build1 (TRUTH_NOT_EXPR, type, arg0); + return fold_build1 (TRUTH_NOT_EXPR, type, fold_convert (type, arg0)); /* If this is an equality comparison of the address of two non-weak, unaliased symbols neither of which are extern (since we do not diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1f5e5ca..7d13083 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2007-11-04 Andrew Pinski <pinskia@gmail.com> + + PR middle-end/32931 + * gfortran.fortran-torture/compile/forall-1.f90: New testcase. + 2007-11-04 David Edelsohn <edelsohn@gnu.org> * g++.dg/cpp/_Pragma1.C: Disable on AIX. diff --git a/gcc/testsuite/gfortran.fortran-torture/compile/forall-1.f90 b/gcc/testsuite/gfortran.fortran-torture/compile/forall-1.f90 new file mode 100644 index 0000000..caaea08 --- /dev/null +++ b/gcc/testsuite/gfortran.fortran-torture/compile/forall-1.f90 @@ -0,0 +1,7 @@ + integer i, a(1) + logical(kind=8) s(1) + + s = .true. + a = 42 + forall (i=1:1, .not. s(1)) a(i) = 0 + end |