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

Bug 429928 - SFINAE when resolving address of function

Browse source 
Change-Id: I2edb6becd4b79c7943e1e4b7c046afb25e398a31
Signed-off-by: Nathan Ridge <zeratul976@hotmail.com>
Reviewed-on: https://git.eclipse.org/r/23090
Tested-by: Hudson CI
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 2014-03-09 06:45:58 -04:00 • committed by Sergey Prigogin
parent 6e2d669821
commit 83d0b2be3e
2 changed files with 33 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -7358,6 +7358,32 @@ public class AST2TemplateTests extends AST2TestBase {
parseAndCheckImplicitNameBindings();
}
// template<typename T>
// struct A {
// static constexpr bool value = false;
// };
//
// template<bool, typename T = void>
// struct enable_if {};
//
// template<typename T>
// struct enable_if<true, T> {
// typedef T type;
// };
//
// template <class U>
// void
// waldo();
//
// template <class U>
// typename enable_if<A<U>::value>::type
// waldo();
//
// auto x = waldo<int>; // problem on valdo<int>
public void testSfinaeWhenResolvingAddressOfFunction_429928() throws Exception {
parseAndCheckBindings();
}
// template <typename>
// struct M {
// template <typename... Args>

7
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/CPPSemantics.java
View file

@ -2578,7 +2578,12 @@ public class CPPSemantics {
ICPPFunctionTemplate funcTemp = (ICPPFunctionTemplate) f;
final ICPPTemplateParameter[] tpars = funcTemp.getTemplateParameters();
final CPPTemplateParameterMap map = new CPPTemplateParameterMap(tpars.length);
isCandidate= TemplateArgumentDeduction.addExplicitArguments(funcTemp, tpars, args, map, point);
if (!TemplateArgumentDeduction.addExplicitArguments(funcTemp, tpars, args, map, point)) {
isCandidate= false;
} else {
f = CPPTemplates.instantiateForAddressOfFunction(funcTemp, null, args, point);
isCandidate= f != null;
}
}
} else {
isCandidate= args == null;