mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-08-12 10:45:37 +02:00
Code Issues Wiki Activity

Bug 336426: Syntax failure in return type of function instance.

Browse source
This commit is contained in:
Markus Schorn 2011-02-09 16:24:23 +00:00
parent da432ec64b
commit 98d41710ac
2 changed files with 45 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -5236,4 +5236,26 @@ public class AST2TemplateTests extends AST2BaseTest {
public void testFunctionTemplateSignatures_Bug335062() throws Exception {
parseAndCheckBindings();
}
// template <bool B, class T = void> struct enable_if {
// typedef T type;
// };
// template <class T> struct enable_if<false, T> {};
//
// template <typename T> struct is_int {
// static const bool value = false;
// };
// template <> struct is_int<int> {
// static const bool value = true;
// };
//
// template <typename T> typename enable_if<!is_int<T>::value>::type function(T);
// template <typename T> typename enable_if<is_int<T>::value>::type function(T);
//
// void g() {
// function(0); // ERROR HERE
// }
public void testSyntaxErrorInReturnTypeOfFunctionInstance_Bug336426() throws Exception {
parseAndCheckBindings();
}
}

27
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/CPPTemplates.java
View file

@ -1605,7 +1605,9 @@ public class CPPTemplates {
if (args != null) {
IBinding instance= instantiateFunctionTemplate(template, args, map);
if (instance instanceof ICPPFunction) {
return (ICPPFunction) instance;
final ICPPFunction f = (ICPPFunction) instance;
if (isValidType(f.getType()))
return f;
}
}
} catch (DOMException e) {
@ -1917,10 +1919,27 @@ public class CPPTemplates {
}
static boolean isValidType(IType t) {
while (t instanceof ITypeContainer) {
t = ((ITypeContainer) t).getType();
for (;;) {
if (t instanceof ISemanticProblem) {
return false;
} else if (t instanceof IFunctionType) {
IFunctionType ft= (IFunctionType) t;
for (IType parameterType : ft.getParameterTypes()) {
if (!isValidType(parameterType))
return false;
}
t= ft.getReturnType();
} else if (t instanceof ICPPPointerToMemberType) {
ICPPPointerToMemberType mptr= (ICPPPointerToMemberType) t;
if (!isValidType(mptr.getMemberOfClass()))
return false;
t= mptr.getType();
} else if (t instanceof ITypeContainer) {
t= ((ITypeContainer) t).getType();
} else {
return true;
}
}
return !(t instanceof ISemanticProblem);
}
static boolean isValidArgument(ICPPTemplateArgument arg) {