diff options
author | Jakub Jelinek <jakub@redhat.com> | 2016-07-18 20:43:19 +0200 |
---|---|---|
committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2016-07-18 20:43:19 +0200 |
commit | 87713c6a507659921278d32b66f2e344b7c4d124 (patch) | |
tree | 14d226bd0827f7153340d65294bb9e529dcf5911 /gcc/cp | |
parent | 7a7f16ca45487c0a414c9a3d06423ab80d0f6a4f (diff) | |
download | gcc-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/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/cp/constexpr.c | 13 |
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: |