diff options
author | Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> | 2003-09-16 15:27:51 +0000 |
---|---|---|
committer | Kriang Lerdsuwanakij <lerdsuwa@gcc.gnu.org> | 2003-09-16 15:27:51 +0000 |
commit | ae8803a8e1d21a5813775816ae915f4ccd92d6c5 (patch) | |
tree | 3268e9ec73fc007a6eef8e295bc9f17a380ae9f3 /gcc | |
parent | 6cd2fc59b0e76bbb11c1b81590d03477551ae07c (diff) | |
download | gcc-ae8803a8e1d21a5813775816ae915f4ccd92d6c5.zip gcc-ae8803a8e1d21a5813775816ae915f4ccd92d6c5.tar.gz gcc-ae8803a8e1d21a5813775816ae915f4ccd92d6c5.tar.bz2 |
re PR c++/7939 (ICE on function template specialization)
PR c++/7939
* typeck.c (comptypes): Don't ICE when its first argument is
error_mark_node.
(compparms): Reverse the arguments of same_type_p.
* g++.dg/template/crash11.C: New test.
From-SVN: r71432
Diffstat (limited to 'gcc')
-rw-r--r-- | gcc/cp/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/cp/typeck.c | 7 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/template/crash11.C | 9 |
4 files changed, 23 insertions, 5 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 980e655..5df525e 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,10 @@ +2003-09-16 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> + + PR c++/7939 + * typeck.c (comptypes): Don't ICE when its first argument is + error_mark_node. + (compparms): Reverse the arguments of same_type_p. + 2003-09-15 Nathan Sidwell <nathan@codesourcery.com> PR c++/12184 diff --git a/gcc/cp/typeck.c b/gcc/cp/typeck.c index 8f1171f..32447b6 100644 --- a/gcc/cp/typeck.c +++ b/gcc/cp/typeck.c @@ -900,11 +900,8 @@ comptypes (tree t1, tree t2, int strict) if (t1 == t2) return true; - /* This should never happen. */ - my_friendly_assert (t1 != error_mark_node, 307); - /* Suppress errors caused by previously reported errors */ - if (t2 == error_mark_node) + if (t1 == error_mark_node || t2 == error_mark_node) return false; my_friendly_assert (TYPE_P (t1) && TYPE_P (t2), 20030623); @@ -1170,7 +1167,7 @@ compparms (tree parms1, tree parms2) they fail to match. */ if (!t1 || !t2) return false; - if (!same_type_p (TREE_VALUE (t2), TREE_VALUE (t1))) + if (!same_type_p (TREE_VALUE (t1), TREE_VALUE (t2))) return false; } return true; diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 9af03e7..e7cf798 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2003-09-16 Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> + + PR c++/7939 + * g++.dg/template/crash11.C: New test. + 2003-09-16 Jason Merrill <jason@redhat.com> Jakub Jelinek <jakub@redhat.com> diff --git a/gcc/testsuite/g++.dg/template/crash11.C b/gcc/testsuite/g++.dg/template/crash11.C new file mode 100644 index 0000000..3c69514 --- /dev/null +++ b/gcc/testsuite/g++.dg/template/crash11.C @@ -0,0 +1,9 @@ +// { dg-do compile } + +// Origin: kparz@iastate.edu + +// PR c++/7939: ICE for invalid function parameter after template +// substitution. + +template <class T, class U> void foo(T, U) {} +template <class T> void foo<T,void>(T, void) {} // { dg-error "incomplete|invalid|partial" } |