mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-04 02:40:27 +08:00
Code Issues Packages Projects Releases Wiki Activity

re PR c++/49105 ([C++0x][SFINAE] ICE during list-initialization of rvalue-references to const)

Browse Source 
PR c++/49105
	* typeck.c (cp_build_c_cast): Don't strip cv-quals when
	converting to reference.
	(build_static_cast_1): Update for glvalues.

From-SVN: r174093
This commit is contained in:
Jason Merrill 2011-05-23 18:56:04 -04:00 committed by Jason Merrill
parent 66d83eeea9
commit 8e3fb54444
4 changed files with 20 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/cp/ChangeLog
View File

@ -1,5 +1,10 @@
2011-05-23 Jason Merrill <jason@redhat.com>
PR c++/49105
* typeck.c (cp_build_c_cast): Don't strip cv-quals when
converting to reference.
(build_static_cast_1): Update for glvalues.
PR c++/49105
* typeck.c (build_const_cast_1): Handle rvalue references.

6
gcc/cp/typeck.c
View File

@ -5768,11 +5768,11 @@ build_static_cast_1 (tree type, tree expr, bool c_cast_p,
return convert_from_reference (rvalue (cp_fold_convert (type, expr)));
}
/* "An lvalue of type cv1 T1 can be cast to type rvalue reference to
/* "A glvalue of type cv1 T1 can be cast to type rvalue reference to
cv2 T2 if cv2 T2 is reference-compatible with cv1 T1 (8.5.3)." */
if (TREE_CODE (type) == REFERENCE_TYPE
&& TYPE_REF_IS_RVALUE (type)
&& real_lvalue_p (expr)
&& lvalue_or_rvalue_with_address_p (expr)
&& reference_related_p (TREE_TYPE (type), intype)
&& (c_cast_p || at_least_as_qualified_p (TREE_TYPE (type), intype)))
{
@ -6448,7 +6448,7 @@ cp_build_c_cast (tree type, tree expr, tsubst_flags_t complain)
if (!CLASS_TYPE_P (type))
type = TYPE_MAIN_VARIANT (type);
result_type = TREE_TYPE (result);
if (!CLASS_TYPE_P (result_type))
if (!CLASS_TYPE_P (result_type) && TREE_CODE (type) != REFERENCE_TYPE)
result_type = TYPE_MAIN_VARIANT (result_type);
/* If the type of RESULT does not match TYPE, perform a
const_cast to make it match. If the static_cast or

2
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,7 @@
2011-05-23 Jason Merrill <jason@redhat.com>
* g++.dg/cpp0x/sfinae25.C: New.
* g++.dg/cpp0x/rv-cast2.C: New.
* g++.dg/cpp0x/enum14.C: New.

10
gcc/testsuite/g++.dg/cpp0x/sfinae25.C Normal file
View File

@ -0,0 +1,10 @@
// PR c++/49105
// { dg-options -std=c++0x }
template<class T, class = decltype(T{})>
char f(int);
template<class T>
auto f(...) -> char(&)[2];
static_assert(sizeof(f<const int&&>(0)) == 1, "Error"); // #