mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-08 18:26:01 +02:00
Code Issues Wiki Activity

Bug 401142 - Error involving variadic non-type template parameters

Browse source 
Change-Id: I7735649c59354431a91980142055e4b86a82e6f6
Reviewed-on: https://git.eclipse.org/r/10467
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-19 03:27:53 -05:00 • committed by Sergey Prigogin
parent ee08bee24b
commit 24ba7ff688
2 changed files with 21 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

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

@ -7292,5 +7292,24 @@ public class AST2TemplateTests extends AST2TestBase {
public void testNPE_401140() throws Exception { public void testNPE_401140() throws Exception {
BindingAssertionHelper helper = new BindingAssertionHelper(getAboveComment(), true); BindingAssertionHelper helper = new BindingAssertionHelper(getAboveComment(), true);
helper.assertProblem("bind(s, 0, foo)", "bind"); helper.assertProblem("bind(s, 0, foo)", "bind");
}
// template <bool... Args>
// struct ice_or;
// template <bool First>
// struct ice_or<First> {
// static const bool value = First;
// };
// template <bool>
// struct S {};
// template <>
// struct S<false> {
// typedef int type;
// };
// int main() {
// S<ice_or<false>::value>::type t;
// }
public void testVariadicNonTypeTemplateParameter_401142() throws Exception {
parseAndCheckBindings();
} }
} }

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

@ -2464,6 +2464,8 @@ public class CPPTemplates {
} else { } else {
if (arg.isTypeValue()) if (arg.isTypeValue())
return false; return false;
if (par.isParameterPack() != arg.isPackExpansion())
return false;
int parpos= Value.isTemplateParameter(arg.getNonTypeValue()); int parpos= Value.isTemplateParameter(arg.getNonTypeValue());
if (parpos != par.getParameterID()) if (parpos != par.getParameterID())
return false; return false;