OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

re PR target/43070 (g++.dg/ext/label2.C fails to compile at -O1)

Browse Source 
PR c++/43070
	* semantics.c (finish_goto_stmt): Don't call decay_conversion.

From-SVN: r156872
This commit is contained in:
Jason Merrill 2010-02-18 14:20:21 -05:00 committed by Jason Merrill
parent bb7dcd0ef3
commit 7890246f66
5 changed files with 11 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
gcc/cp/ChangeLog
View File

@ -1,5 +1,8 @@
2010-02-18 Jason Merrill <jason@redhat.com>
PR c++/43070
* semantics.c (finish_goto_stmt): Don't call decay_conversion.
PR c++/26261
PR c++/43101
* pt.c (tsubst_qualified_id): Do normal lookup in non-dependent scope.

2
gcc/cp/semantics.c
View File

@ -546,10 +546,8 @@ finish_goto_stmt (tree destination)
TREE_USED (destination) = 1;
else
{
/* The DESTINATION is being used as an rvalue. */
if (!processing_template_decl)
{
destination = decay_conversion (destination);
destination = cp_convert (ptr_type_node, destination);
if (error_operand_p (destination))
return NULL_TREE;

4
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,9 @@
2010-02-18 Jason Merrill <jason@redhat.com>
PR c++/43070
* g++.dg/ext/label1.C: Update.
* g++.dg/ext/label2.C: Update.
PR c++/26261
* g++.dg/template/dependent-name6.C: New.

4
gcc/testsuite/g++.dg/ext/label1.C
View File

@ -2,7 +2,9 @@
int main(void) {
static const void* lbls[2][2] = {{&&lbl0, &&lbl0}, {&&lbl0, &&lbl0}};
goto *lbls[0];
goto *lbls[0][0];
goto *lbls[0][0][0]; // { dg-message "" }
goto *lbls[0]; // { dg-error "" }
lbl0:
;
}

2
gcc/testsuite/g++.dg/ext/label2.C
View File

@ -5,7 +5,7 @@ void f() {
l:
void *p[] = { &&l };
goto *p;
goto *p[0];
}
template void f<int>();