diff options
author | Jason Merrill <jason@redhat.com> | 2013-07-09 13:55:24 -0400 |
---|---|---|
committer | Jason Merrill <jason@gcc.gnu.org> | 2013-07-09 13:55:24 -0400 |
commit | 1d0859d8946995f64be3b422b1c54e9a5c78905e (patch) | |
tree | 3f34fb765df34e935bfc675cf1b762144ca94e46 | |
parent | 40e0364c5564fa3d9cab209ecafe22778bf4c25b (diff) | |
download | gcc-1d0859d8946995f64be3b422b1c54e9a5c78905e.zip gcc-1d0859d8946995f64be3b422b1c54e9a5c78905e.tar.gz gcc-1d0859d8946995f64be3b422b1c54e9a5c78905e.tar.bz2 |
re PR c++/57831 (pointer to member function inaccessible through using statement (or ICE))
PR c++/57831
* pt.c (tsubst_copy): Handle USING_DECL.
From-SVN: r200839
-rw-r--r-- | gcc/cp/ChangeLog | 5 | ||||
-rw-r--r-- | gcc/cp/pt.c | 3 | ||||
-rw-r--r-- | gcc/testsuite/g++.dg/template/using23.C | 15 |
3 files changed, 23 insertions, 0 deletions
diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 9262813..aa6bdb1 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,8 @@ +2013-07-09 Jason Merrill <jason@redhat.com> + + PR c++/57831 + * pt.c (tsubst_copy): Handle USING_DECL. + 2013-07-09 Marc Glisse <marc.glisse@inria.fr> PR c++/53094 diff --git a/gcc/cp/pt.c b/gcc/cp/pt.c index 26d5a1c..23229a9 100644 --- a/gcc/cp/pt.c +++ b/gcc/cp/pt.c @@ -12552,6 +12552,9 @@ tsubst_copy (tree t, tree args, tsubst_flags_t complain, tree in_decl) case TYPE_DECL: return tsubst (t, args, complain, in_decl); + case USING_DECL: + t = DECL_NAME (t); + /* Fall through. */ case IDENTIFIER_NODE: if (IDENTIFIER_TYPENAME_P (t)) { diff --git a/gcc/testsuite/g++.dg/template/using23.C b/gcc/testsuite/g++.dg/template/using23.C new file mode 100644 index 0000000..abb90de --- /dev/null +++ b/gcc/testsuite/g++.dg/template/using23.C @@ -0,0 +1,15 @@ +// PR c++/57831 + +struct A { + void f(); +}; +template <class T> struct B : T { + typedef T base; + using base::f; // If I write "using B<T>::f" it's ok + void g( ) { + B<T>::f(); // This is OK as expected + (this->*&T::f)(); // This is also OK + (this->*&B<T>::f)(); // This causes error + } +}; +template struct B< A >; |