diff options
| -rw-r--r-- | gcc/cp/ChangeLog | 4 | ||||
| -rw-r--r-- | gcc/cp/typeck.c | 2 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/conversion/reinterpret1.C | 2 |
3 files changed, 6 insertions, 2 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index f92e002..dd0dc2f 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,5 +1,9 @@ 2014-11-09 Jason Merrill <jason@redhat.com> + DR 799 + * typeck.c (build_reinterpret_cast_1): reinterpret_cast to the + same scalar type is an rvalue. + DR 2007 * call.c (build_new_op_1): Don't do non-class lookup for =, -> or []. diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c index 99f4b88..d0f5ccd 100644 --- a/gcc/cp/typeck.c +++ b/gcc/cp/typeck.c @@ -6898,7 +6898,7 @@ build_reinterpret_cast_1 (tree type, tree expr, bool c_cast_p, || TYPE_PTR_OR_PTRMEM_P (type)) && same_type_p (type, intype)) /* DR 799 */ - return fold_if_not_in_template (build_nop (type, expr)); + return rvalue (expr); else if ((TYPE_PTRFN_P (type) && TYPE_PTRFN_P (intype)) || (TYPE_PTRMEMFUNC_P (type) && TYPE_PTRMEMFUNC_P (intype))) return fold_if_not_in_template (build_nop (type, expr)); diff --git a/gcc/testsuite/g++.dg/conversion/reinterpret1.C b/gcc/testsuite/g++.dg/conversion/reinterpret1.C index aa55f6f..d456782 100644 --- a/gcc/testsuite/g++.dg/conversion/reinterpret1.C +++ b/gcc/testsuite/g++.dg/conversion/reinterpret1.C @@ -3,4 +3,4 @@ struct Y { Y(int &); }; int v; -Y y1(reinterpret_cast<int>(v)); +Y y1(reinterpret_cast<int>(v)); // { dg-error "" } |