mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-23 22:52:11 +02:00
Code Issues Wiki Activity

Bug 409107 - Incorrect instantiation of const member access

Browse source 
Change-Id: I5909d7998e86a28d3c44172c3e80cad06c6b1b1b
Reviewed-on: https://git.eclipse.org/r/13169
Reviewed-by: Sergey Prigogin <eclipse.sprigogin@gmail.com>
IP-Clean: Sergey Prigogin <eclipse.sprigogin@gmail.com>
Tested-by: Sergey Prigogin <eclipse.sprigogin@gmail.com>
This commit is contained in:
Nathan Ridge 2013-05-27 03:12:11 -04:00 • committed by Sergey Prigogin
parent 9b1c2b0313
commit 67425186a2
2 changed files with 23 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

20
core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java
View file

@ -7465,6 +7465,26 @@ public class AST2TemplateTests extends AST2TestBase {
parseAndCheckBindings();
}
// struct foo {
// int operator()() const;
// };
//
// template <typename F>
// struct W {
// F f;
//
// auto operator()() const -> decltype(f()) {
// return f();
// }
// };
//
// typedef decltype(W<foo>()()) waldo;
public void testInstantiationOfConstMemberAccess_409107() throws Exception {
BindingAssertionHelper bh = getAssertionHelper();
IType waldo = bh.assertNonProblem("waldo");
assertSameType(waldo, CommonTypes.int_);
}
// template <typename _Tp>
// struct remove_reference {
// typedef _Tp type;

5
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/EvalMemberAccess.java
View file

@ -335,8 +335,9 @@ public class EvalMemberAccess extends CPPDependentEvaluation {
return this;
IBinding member = fMember;
if (ownerType instanceof ICPPClassSpecialization) {
member = CPPTemplates.createSpecialization((ICPPClassSpecialization) ownerType, fMember, point);
IType ownerClass = SemanticUtil.getNestedType(ownerType, ALLCVQ);
if (ownerClass instanceof ICPPClassSpecialization) {
member = CPPTemplates.createSpecialization((ICPPClassSpecialization) ownerClass, fMember, point);
}
return new EvalMemberAccess(ownerType, fOwnerValueCategory, member, fIsPointerDeref, getTemplateDefinition());
}