mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Bug 401024 - Error involving variadic templates

Browse source 
Change-Id: Ic5e0b3176e87e6dcecfb528367ce5f8eea4760c1
Reviewed-on: https://git.eclipse.org/r/10426
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-02-17 20:28:11 -05:00 • committed by Sergey Prigogin
parent c48e321ea3
commit 81885d232f
2 changed files with 46 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -4509,25 +4509,25 @@ public class AST2TemplateTests extends AST2TestBase {
parseAndCheckBindings(code); parseAndCheckBindings(code);
BindingAssertionHelper bh= new BindingAssertionHelper(code, CPP); BindingAssertionHelper bh= new BindingAssertionHelper(code, CPP);
ICPPFunctionTemplate f= bh.assertNonProblem("f1", 2); ICPPFunctionTemplate f= bh.assertNonProblem("f1", 2);
assertEquals("void (int (*)(#0 ...))", ASTTypeUtil.getType(f.getType(), true)); assertEquals("void (int (*)(#0(...) ...))", ASTTypeUtil.getType(f.getType(), true));
assertFalse(f.getParameters()[0].isParameterPack()); assertFalse(f.getParameters()[0].isParameterPack());
f= bh.assertNonProblem("f2", 2); f= bh.assertNonProblem("f2", 2);
assertEquals("void (int (* ...)(#0, int))", ASTTypeUtil.getType(f.getType(), true)); assertEquals("void (int (* ...)(#0(...), int))", ASTTypeUtil.getType(f.getType(), true));
assertTrue(f.getParameters()[0].isParameterPack()); assertTrue(f.getParameters()[0].isParameterPack());
f= bh.assertNonProblem("f3", 2); f= bh.assertNonProblem("f3", 2);
assertEquals("void (#0 (* ...)())", ASTTypeUtil.getType(f.getType(), true)); assertEquals("void (#0(...) (* ...)())", ASTTypeUtil.getType(f.getType(), true));
assertTrue(f.getParameters()[0].isParameterPack()); assertTrue(f.getParameters()[0].isParameterPack());
f= bh.assertNonProblem("f4", 2); f= bh.assertNonProblem("f4", 2);
assertEquals("void (int (& ...)[3 *0 0])", ASTTypeUtil.getType(f.getType(), true)); assertEquals("void (int (& ...)[3 *0 0])", ASTTypeUtil.getType(f.getType(), true));
assertTrue(f.getParameters()[0].isParameterPack()); assertTrue(f.getParameters()[0].isParameterPack());
f= bh.assertNonProblem("f5", 2); f= bh.assertNonProblem("f5", 2);
assertEquals("void (#0 ...)", ASTTypeUtil.getType(f.getType(), true)); assertEquals("void (#0(...) ...)", ASTTypeUtil.getType(f.getType(), true));
assertTrue(f.getParameters()[0].isParameterPack()); assertTrue(f.getParameters()[0].isParameterPack());
f= bh.assertNonProblem("f6", 2); f= bh.assertNonProblem("f6", 2);
assertEquals("void (#0, ...)", ASTTypeUtil.getType(f.getType(), true)); assertEquals("void (#0, ...)", ASTTypeUtil.getType(f.getType(), true));
assertFalse(f.getParameters()[0].isParameterPack()); assertFalse(f.getParameters()[0].isParameterPack());
f= bh.assertNonProblem("f7", 2); f= bh.assertNonProblem("f7", 2);
assertEquals("#0 ...", ASTTypeUtil.getType(f.getExceptionSpecification()[0], true)); assertEquals("#0(...) ...", ASTTypeUtil.getType(f.getExceptionSpecification()[0], true));
} }
// template<typename... Pack> class C1 {}; // template<typename... Pack> class C1 {};
@ -7165,4 +7165,43 @@ public class AST2TemplateTests extends AST2TestBase {
public void testDependentExpressionInvolvingFieldInNestedClass_399362() throws Exception { public void testDependentExpressionInvolvingFieldInNestedClass_399362() throws Exception {
parseAndCheckBindings(); parseAndCheckBindings();
} }
// template <typename _Tp>
// struct remove_reference {
// typedef _Tp type;
// };
// template <typename>
// struct A {};
// template <typename From, typename To>
// struct waldo {
// typedef typename remove_reference<From>::type src_t;
// typedef A<src_t> type;
// };
// template <bool First>
// struct ice_or {
// static const bool value = First;
// };
// template <typename T>
// struct is_waldo {
// static const bool value = false;
// };
// template <typename... Args>
// struct contains_waldo {
// static const bool value = ice_or<is_waldo<typename remove_reference<Args>::type>::value...>::value;
// };
// template <bool>
// struct S {};
// struct Cat {
// void meow();
// };
// template <>
// struct S<false> {
// typedef Cat type;
// };
// int main() {
// S<contains_waldo<int>::value>::type t;
// }
public void testVariadicTemplates_401024() throws Exception {
parseAndCheckBindings();
}
} }

2
core/org.eclipse.cdt.core/parser/org/eclipse/cdt/core/dom/ast/ASTTypeUtil.java
View file

@ -424,6 +424,8 @@ public class ASTTypeUtil {
if (normalize) { if (normalize) {
result.append('#'); result.append('#');
result.append(Integer.toString(type.getParameterID(), 16)); result.append(Integer.toString(type.getParameterID(), 16));
if (type.isParameterPack())
result.append("(...)"); //$NON-NLS-1$
} else { } else {
result.append(type.getName()); result.append(type.getName());
} }