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

re PR c++/30534 (ICE with invalid template argument)

Browse source 
PR c++/30534
	* pt.c (any_template_arguments_need_structural_equality_p):
	Robustify.

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

From-SVN: r122685
This commit is contained in:
Volker Reichelt 2007-03-08 07:26:43 +00:00 • committed by Volker Reichelt
parent ab53bae286
commit cc891727f0
4 changed files with 23 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/cp/ChangeLog
View file

@ -1,3 +1,9 @@
2007-03-08 Volker Reichelt <reichelt@netcologne.de>
PR c++/30534
* pt.c (any_template_arguments_need_structural_equality_p):
Robustify.
2007-03-08 Alexandre Oliva <aoliva@redhat.com>
* decl.c (grokdeclarator): Disable warnings for anonymous

4
gcc/cp/pt.c
View file

@ -13131,7 +13131,9 @@ any_template_arguments_need_structural_equality_p (tree args)
for (j = 0; j < TREE_VEC_LENGTH (level); ++j)
{
tree arg = TREE_VEC_ELT (level, j);
if (TREE_CODE (arg) == TEMPLATE_DECL
if (error_operand_p (arg))
return true;
else if (TREE_CODE (arg) == TEMPLATE_DECL
|| TREE_CODE (arg) == TEMPLATE_TEMPLATE_PARM)
continue;
else if (TYPE_P (arg) && TYPE_STRUCTURAL_EQUALITY_P (arg))

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2007-03-08 Volker Reichelt <reichelt@netcologne.de>
PR c++/30534
* g++.dg/template/arg5.C: New test.
2007-03-07 Joseph Myers <joseph@codesourcery.com>
* g++.dg/eh/arm-iwmmxt-unwind.C: New test.

9
gcc/testsuite/g++.dg/template/arg5.C Normal file
View file

@ -0,0 +1,9 @@
// PR c++/30534
// { dg-do compile }
template<bool> struct A;
template<int> void foo()
{
A<__builtin_constant_p(.)> a; // { dg-error "template argument" }
}