diff options
| author | Jason Merrill <jason@redhat.com> | 2013-03-28 14:20:30 -0400 |
|---|---|---|
| committer | Jason Merrill <jason@gcc.gnu.org> | 2013-03-28 14:20:30 -0400 |
| commit | 477e1843fd13958fbecafeb540a8876146a61e3a (patch) | |
| tree | 33027c7c041aeceaaea4fdb86398083626a69329 /gcc/cp | |
| parent | 9cd347ae13bb5c8a1785aa8cbd7287fe6d606120 (diff) | |
| download | gcc-477e1843fd13958fbecafeb540a8876146a61e3a.zip gcc-477e1843fd13958fbecafeb540a8876146a61e3a.tar.gz gcc-477e1843fd13958fbecafeb540a8876146a61e3a.tar.bz2 | |
re PR c++/56728 (ICE using constexpr initialization and arrays)
PR c++/56728
* semantics.c (potential_constant_expression_1) [NOP_EXPR]: Reject
conversion from integer to pointer.
(cxx_eval_constant_expression): Likewise.
(cxx_eval_indirect_ref): Use the folded operand if we still think
this might be constant.
From-SVN: r197209
Diffstat (limited to 'gcc/cp')
| -rw-r--r-- | gcc/cp/ChangeLog | 9 | ||||
| -rw-r--r-- | gcc/cp/semantics.c | 21 |
2 files changed, 30 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index ecc5503..164c797 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,12 @@ +2013-03-28 Jason Merrill <jason@redhat.com> + + PR c++/56728 + * semantics.c (potential_constant_expression_1) [NOP_EXPR]: Reject + conversion from integer to pointer. + (cxx_eval_constant_expression): Likewise. + (cxx_eval_indirect_ref): Use the folded operand if we still think + this might be constant. + 2013-03-28 Paolo Carlini <paolo.carlini@oracle.com> Manuel Lopez-Ibanez <manu@gcc.gnu.org> diff --git a/gcc/cp/semantics.c b/gcc/cp/semantics.c index 72b884e..0b8e2f7 100644 --- a/gcc/cp/semantics.c +++ b/gcc/cp/semantics.c @@ -7661,6 +7661,8 @@ cxx_eval_indirect_ref (const constexpr_call *call, tree t, if (r == NULL_TREE) { + if (addr && op0 != orig_op0) + return build1 (INDIRECT_REF, TREE_TYPE (t), op0); if (!addr) VERIFY_CONSTANT (t); return t; @@ -8056,6 +8058,16 @@ cxx_eval_constant_expression (const constexpr_call *call, tree t, non_constant_p, overflow_p); if (*non_constant_p) return t; + if (POINTER_TYPE_P (TREE_TYPE (t)) + && TREE_CODE (op) == INTEGER_CST + && !integer_zerop (op)) + { + if (!allow_non_constant) + error_at (EXPR_LOC_OR_HERE (t), + "reinterpret_cast from integer to pointer"); + *non_constant_p = true; + return t; + } if (op == oldop) /* We didn't fold at the top so we could check for ptr-int conversion. */ @@ -8452,6 +8464,15 @@ potential_constant_expression_1 (tree t, bool want_rval, tsubst_flags_t flags) may change to something more specific to type-punning (DR 1312). */ { tree from = TREE_OPERAND (t, 0); + if (POINTER_TYPE_P (TREE_TYPE (t)) + && TREE_CODE (from) == INTEGER_CST + && !integer_zerop (from)) + { + if (flags & tf_error) + error_at (EXPR_LOC_OR_HERE (t), + "reinterpret_cast from integer to pointer"); + return false; + } return (potential_constant_expression_1 (from, TREE_CODE (t) != VIEW_CONVERT_EXPR, flags)); } |