diff options
| author | Jason Merrill <jason@redhat.com> | 2016-05-24 17:06:53 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2016-05-24 17:06:53 -0400 |
| commit | 66f90a1761f1e819d1dbffff2056836b5d39d545 (patch) | |
| tree | 95fca72cd903c1c0c3ca197d74d3ecc22425ab16 | |
| parent | 732eb07625bc086833506374f1ce452096716874 (diff) | |
| download | gcc-66f90a1761f1e819d1dbffff2056836b5d39d545.zip gcc-66f90a1761f1e819d1dbffff2056836b5d39d545.tar.gz gcc-66f90a1761f1e819d1dbffff2056836b5d39d545.tar.bz2 | |
PR c++/70584 - don't force indirection to an rvalue
* cp-gimplify.c (cp_fold_maybe_rvalue): Loop in case cp_fold
returns a decl.
(cp_fold) [INDIRECT_REF]: Don't fold to an rvalue.
From-SVN: r236670
| -rw-r--r-- | gcc/cp/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/cp/cp-gimplify.c | 20 |
2 files changed, 21 insertions, 6 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 5e7eb3d..8010cb7 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,10 @@ +2016-05-24 Jason Merrill <jason@redhat.com> + + PR c++/70584 + * cp-gimplify.c (cp_fold_maybe_rvalue): Loop in case cp_fold + returns a decl. + (cp_fold) [INDIRECT_REF]: Don't fold to an rvalue. + 2016-05-24 Martin Sebor <msebor@redhat.com> PR c++/71147 diff --git a/gcc/cp/cp-gimplify.c b/gcc/cp/cp-gimplify.c index eeba268..0ba5aa9 100644 --- a/gcc/cp/cp-gimplify.c +++ b/gcc/cp/cp-gimplify.c @@ -1878,13 +1878,21 @@ cp_fully_fold (tree x) static tree cp_fold_maybe_rvalue (tree x, bool rval) { - if (rval && DECL_P (x)) + while (true) { - tree v = decl_constant_value (x); - if (v != error_mark_node) - x = v; + x = cp_fold (x); + if (rval && DECL_P (x)) + { + tree v = decl_constant_value (x); + if (v != x && v != error_mark_node) + { + x = v; + continue; + } + } + break; } - return cp_fold (x); + return x; } /* Fold expression X which is used as an rvalue. */ @@ -2001,7 +2009,7 @@ cp_fold (tree x) if (REF_PARENTHESIZED_P (x)) { tree p = maybe_undo_parenthesized_ref (x); - return cp_fold_maybe_rvalue (p, rval_ops); + return cp_fold (p); } goto unary; |