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

re PR c++/40373 (ICE with invalid destructor call)

Browse source 
PR c++/40373
	* call.c (check_dtor_name): Return false even if
	get_type_value (name) is error_mark_node.

	* g++.dg/template/dtor7.C: New test.

From-SVN: r148282
This commit is contained in:
Jakub Jelinek 2009-06-08 18:48:11 +02:00 • committed by Jakub Jelinek
parent 5f4a82c0c5
commit b792a33ca4
4 changed files with 32 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 @@
2009-06-08 Jakub Jelinek <jakub@redhat.com>
PR c++/40373
* call.c (check_dtor_name): Return false even if
get_type_value (name) is error_mark_node.
PR c++/40370
PR c++/40372
* parser.c (cp_parser_direct_declarator): Don't set TREE_SIDE_EFFECTS

2
gcc/cp/call.c
View file

@ -242,7 +242,7 @@ check_dtor_name (tree basetype, tree name)
return false;
}
if (!name)
if (!name || name == error_mark_node)
return false;
return same_type_p (TYPE_MAIN_VARIANT (basetype), TYPE_MAIN_VARIANT (name));
}

3
gcc/testsuite/ChangeLog
View file

@ -4,6 +4,9 @@
* gcc.dg/builtin-object-size-4.c (test1): Adjust expected results.
* gcc.dg/builtin-object-size-6.c: New test.
PR c++/40373
* g++.dg/template/dtor7.C: New test.
PR c++/40370
PR c++/40372
* g++.dg/template/error41.C: New test.

24
gcc/testsuite/g++.dg/template/dtor7.C Normal file
View file

@ -0,0 +1,24 @@
// PR c++/40373
// { dg-compile }
struct A; // { dg-bogus "candidates are" "" { xfail *-*-* } }
namespace
{
struct A; // { dg-bogus "struct" "" { xfail *-*-* } }
}
struct B {};
template <typename T> void
foo (T t)
{
t.~A (); // { dg-error "does not match destructor name" }
}
void
bar ()
{
foo (B ()); // { dg-bogus "instantiated from here" "" { xfail *-*-* } }
}
// { dg-bogus "is ambiguous" "" { xfail *-*-* } 15 }