procyberian/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR c++/89391 (ICE in build_target_expr_with_type, at cp/tree.c:795)

Browse source 
PR c++/89391
	* typeck.c (build_reinterpret_cast_1): Don't handle void to
	&& conversion go through build_target_expr_with_type.

	* g++.dg/cpp0x/reinterpret_cast2.C: New test.

From-SVN: r269008
This commit is contained in:
Jakub Jelinek 2019-02-19 09:40:07 +01:00 • committed by Jakub Jelinek
parent 883c07964f
commit 50aaebab94
4 changed files with 18 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
gcc/cp/ChangeLog
View file

@ -1,5 +1,9 @@
2019-02-19 Jakub Jelinek <jakub@redhat.com>
PR c++/89391
* typeck.c (build_reinterpret_cast_1): Don't handle void to
&& conversion go through build_target_expr_with_type.
PR c++/89390
* error.c (qualified_name_lookup_error): Only call
suggest_alternative_in_scoped_enum if name is IDENTIFIER_NODE.

2
gcc/cp/typeck.c
View file

@ -7477,7 +7477,7 @@ build_reinterpret_cast_1 (tree type, tree expr, bool c_cast_p,
reinterpret_cast. */
if (TYPE_REF_P (type))
{
if (TYPE_REF_IS_RVALUE (type))
if (TYPE_REF_IS_RVALUE (type) && !VOID_TYPE_P (intype))
{
if (!obvalue_p (expr))
/* Perform the temporary materialization conversion. */

3
gcc/testsuite/ChangeLog
View file

@ -1,5 +1,8 @@
2019-02-19 Jakub Jelinek <jakub@redhat.com>
PR c++/89391
* g++.dg/cpp0x/reinterpret_cast2.C: New test.
PR c++/89390
* g++.dg/diagnostic/pr89390.C: New test.

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

@ -0,0 +1,10 @@
// PR c++/89391
// { dg-do compile { target c++11 } }
struct S { };
void
foo ()
{
auto a = reinterpret_cast<S&&>(foo ()); // { dg-error "invalid cast of an rvalue expression of type 'void' to type" }
}