diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2012-10-08 21:39:56 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2012-10-08 21:39:56 +0200 |
| commit | 9b2770f22cfddf5a0ab54659ce696071b0857444 (patch) | |
| tree | 9a6e50fbaeed2b9396d700cc8fc3d7b237ecdcd7 | |
| parent | e3a8f1fa88d6d87444489c5cf8100aeb09bfb179 (diff) | |
| download | gcc-9b2770f22cfddf5a0ab54659ce696071b0857444.zip gcc-9b2770f22cfddf5a0ab54659ce696071b0857444.tar.gz gcc-9b2770f22cfddf5a0ab54659ce696071b0857444.tar.bz2 | |
re PR c++/54858 (ICE in cp_tree_equal)
PR c++/54858
* tree.c (cp_tree_equal): Handle FIELD_DECL.
* g++.dg/template/pr54858.C: New test.
From-SVN: r192220
| -rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/cp/tree.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/g++.dg/template/pr54858.C | 21 |
4 files changed, 32 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 7f5d45f..f4e7e6a 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2012-10-08 Jakub Jelinek <jakub@redhat.com> + + PR c++/54858 + * tree.c (cp_tree_equal): Handle FIELD_DECL. + 2012-10-08 Jason Merrill <jason@redhat.com> Allow dynamic initialization of thread_locals. diff --git a/gcc/cp/tree.c b/gcc/cp/tree.c index e1af378..14ca5a9 100644 --- a/gcc/cp/tree.c +++ b/gcc/cp/tree.c @@ -2559,6 +2559,7 @@ cp_tree_equal (tree t1, tree t2) case VAR_DECL: case CONST_DECL: + case FIELD_DECL: case FUNCTION_DECL: case TEMPLATE_DECL: case IDENTIFIER_NODE: diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 1345f72..a2f300d 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2012-10-08 Jakub Jelinek <jakub@redhat.com> + + PR c++/54858 + * g++.dg/template/pr54858.C: New test. + 2012-10-08 Dehao Chen <dehao@google.com> * g++.dg/predict-loop-exit-1.C: New. diff --git a/gcc/testsuite/g++.dg/template/pr54858.C b/gcc/testsuite/g++.dg/template/pr54858.C new file mode 100644 index 0000000..51610ad --- /dev/null +++ b/gcc/testsuite/g++.dg/template/pr54858.C @@ -0,0 +1,21 @@ +// PR c++/54858 +// { dg-do compile } + +template <int> struct A {}; +template <typename T, T *> struct B {}; +template <typename D> struct C +{ + A<0> c0; B<A<0>, &C::c0> d0; // { dg-error "could not convert template argument" } + A<0> c1; B<A<0>, &C::c1> d1; // { dg-error "could not convert template argument" } + A<0> c2; B<A<0>, &C::c2> d2; // { dg-error "could not convert template argument" } + A<0> c3; B<A<0>, &C::c3> d3; // { dg-error "could not convert template argument" } + A<0> c4; B<A<0>, &C::c4> d4; // { dg-error "could not convert template argument" } + A<0> c5; B<A<0>, &C::c5> d5; // { dg-error "could not convert template argument" } + A<0> c6; B<A<0>, &C::c6> d6; // { dg-error "could not convert template argument" } + A<0> c7; B<A<0>, &C::c7> d7; // { dg-error "could not convert template argument" } + A<0> c8; B<A<0>, &C::c8> d8; // { dg-error "could not convert template argument" } + A<0> c9; B<A<0>, &C::c9> d9; // { dg-error "could not convert template argument" } + A<0> ca; B<A<0>, &C::ca> da; // { dg-error "could not convert template argument" } + A<0> cb; B<A<0>, &C::cb> db; // { dg-error "could not convert template argument" } +}; +C<int> e; |