aboutsummaryrefslogtreecommitdiff
path: root/gcc/cp
diff options
context:
space:
mode:
authorJakub Jelinek <jakub@redhat.com>2016-07-18 20:43:19 +0200
committerJakub Jelinek <jakub@gcc.gnu.org>2016-07-18 20:43:19 +0200
commit87713c6a507659921278d32b66f2e344b7c4d124 (patch)
tree14d226bd0827f7153340d65294bb9e529dcf5911 /gcc/cp
parent7a7f16ca45487c0a414c9a3d06423ab80d0f6a4f (diff)
downloadgcc-87713c6a507659921278d32b66f2e344b7c4d124.zip
gcc-87713c6a507659921278d32b66f2e344b7c4d124.tar.gz
gcc-87713c6a507659921278d32b66f2e344b7c4d124.tar.bz2
re PR c++/71828 (ICE on valid C++11 code with constexpr __Complex int variable declaration: in operand_equal_p, at fold-const.c:2790)
PR c++/71828 * constexpr.c (cxx_eval_constant_expression) <case REALPART_EXPR>: For lval don't use cxx_eval_unary_expression and instead recurse and if needed rebuild the reference. * g++.dg/cpp0x/constexpr-71828.C: New test. From-SVN: r238442
Diffstat (limited to 'gcc/cp')
-rw-r--r--gcc/cp/ChangeLog5
-rw-r--r--gcc/cp/constexpr.c13
2 files changed, 18 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 899b2ae..87d666e 100644
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,5 +1,10 @@
2016-07-18 Jakub Jelinek <jakub@redhat.com>
+ PR c++/71828
+ * constexpr.c (cxx_eval_constant_expression) <case REALPART_EXPR>:
+ For lval don't use cxx_eval_unary_expression and instead recurse
+ and if needed rebuild the reference.
+
PR c++/71826
* pt.c (tsubst_baselink): Only set BASELINK_OPTYPE for BASELINK_P.
diff --git a/gcc/cp/constexpr.c b/gcc/cp/constexpr.c
index cb8ece0..91d14a5 100644
--- a/gcc/cp/constexpr.c
+++ b/gcc/cp/constexpr.c
@@ -3800,6 +3800,19 @@ cxx_eval_constant_expression (const constexpr_ctx *ctx, tree t,
case REALPART_EXPR:
case IMAGPART_EXPR:
+ if (lval)
+ {
+ r = cxx_eval_constant_expression (ctx, TREE_OPERAND (t, 0), lval,
+ non_constant_p, overflow_p);
+ if (r == error_mark_node)
+ ;
+ else if (r == TREE_OPERAND (t, 0))
+ r = t;
+ else
+ r = fold_build1 (TREE_CODE (t), TREE_TYPE (t), r);
+ break;
+ }
+ /* FALLTHRU */
case CONJ_EXPR:
case FIX_TRUNC_EXPR:
case FLOAT_EXPR: