Created attachment 23908 [details] Short C++ code that reproduces the problem. There is one case, having that: struct Base { }; struct Concrete: Base { void setValue( string, string ); }; and using: v->BaseType::setValue( this->name, this->value ); [with template parameter BaseType = Base] generates the following error: newmpl.cc:37:35: error: ‘struct Concrete’ has no member named ‘setValue’ which is a lie, because Concrete::setValue exists. The mistaken here is the name of the class that does not have given member, which should be ‘struct Base’ here, because this call refers directly to the given class (not to the 'v' pointer's class). Please find the reproduction example in attachment (no dependencies but C++ standard library). You can see that the 'Base' class has 'setValue' commented out in order to make this error occur. The same behavior is with the latest version, gcc 4.7.0.
The attachment can be simplified to: struct Base{ }; struct Concrete : Base { void setValue(); }; int main() { Concrete d; d.Base::setValue(); } which gives the error: error: 'struct Concrete' has no member named 'setValue' expected: error: 'struct Base' has no member named 'setValue'
On it.
Author: paolo Date: Mon Oct 17 09:48:02 2011 New Revision: 180080 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=180080 Log: /cp 2011-10-17 Paolo Carlini <paolo.carlini@oracle.com> PR c++/48489 * typeck.c (finish_class_member_access_expr): Fix error call for TREE_CODE (access_path) == TREE_BINFO. /testsuite 2011-10-17 Paolo Carlini <paolo.carlini@oracle.com> PR c++/48489 * g++.dg/inherit/error5.C: New. Added: trunk/gcc/testsuite/g++.dg/inherit/error5.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/typeck.c trunk/gcc/testsuite/ChangeLog
Fixed for 4.7.0.