diff options
author | Nathan Ridge | 2012-12-06 02:21:46 +0000 |
---|---|---|
committer | Sergey Prigogin | 2012-12-06 19:47:51 +0000 |
commit | 84c076ae460f0cb442d7c6105a1aa9828188789d (patch) | |
tree | 6520a10839ee196e14b762581e8656ca4f486936 | |
parent | 370c25c50b1fd1bc57415ef5a023e903f11b0e19 (diff) | |
download | org.eclipse.cdt-84c076ae460f0cb442d7c6105a1aa9828188789d.tar.gz org.eclipse.cdt-84c076ae460f0cb442d7c6105a1aa9828188789d.tar.xz org.eclipse.cdt-84c076ae460f0cb442d7c6105a1aa9828188789d.zip |
Bug 388398 - SFINAE for default template arguments
Change-Id: Id4af11365046a57f997de0ee3715cf5ccef9d630
Reviewed-on: https://git.eclipse.org/r/9056
Reviewed-by: Sergey Prigogin <eclipse.sprigogin@gmail.com>
IP-Clean: Sergey Prigogin <eclipse.sprigogin@gmail.com>
Tested-by: Sergey Prigogin <eclipse.sprigogin@gmail.com>
2 files changed, 22 insertions, 1 deletions
diff --git a/core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java b/core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java index e7f37773302..372773a006d 100644 --- a/core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java +++ b/core/org.eclipse.cdt.core.tests/parser/org/eclipse/cdt/core/parser/tests/ast2/AST2TemplateTests.java @@ -6883,4 +6883,16 @@ public class AST2TemplateTests extends AST2BaseTest { assertEquals("bool", ASTTypeUtil.getType(td.getType())); ah.assertProblem("B<int*>::type", "type"); } + + // struct S { + // typedef int a_type; + // }; + // template <typename T, typename = typename T::a_type> int foo(T); + // template <typename T, typename = typename T::b_type> void foo(T); + // int main() { + // foo(S()); + // } + public void testSFINAEInDefaultArgument() throws Exception { + parseAndCheckBindings(); + } } diff --git a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/TemplateArgumentDeduction.java b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/TemplateArgumentDeduction.java index 4813905721f..4233824ebbd 100644 --- a/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/TemplateArgumentDeduction.java +++ b/core/org.eclipse.cdt.core/parser/org/eclipse/cdt/internal/core/dom/parser/cpp/semantics/TemplateArgumentDeduction.java @@ -36,6 +36,7 @@ import org.eclipse.cdt.core.dom.ast.IBinding; import org.eclipse.cdt.core.dom.ast.IFunctionType; import org.eclipse.cdt.core.dom.ast.IPointerType; import org.eclipse.cdt.core.dom.ast.IQualifierType; +import org.eclipse.cdt.core.dom.ast.ISemanticProblem; import org.eclipse.cdt.core.dom.ast.IType; import org.eclipse.cdt.core.dom.ast.ITypedef; import org.eclipse.cdt.core.dom.ast.IValue; @@ -636,7 +637,15 @@ public class TemplateArgumentDeduction { if (deducedArg != null) { deducedArg= CPPTemplates.instantiateArgument(deducedArg, tpMap, -1, null, point); if (deducedArg != null) { - tpMap.put(tpar, deducedArg); + if (deducedArg instanceof CPPTemplateTypeArgument) { + CPPTemplateTypeArgument deducedTypeArg = (CPPTemplateTypeArgument) deducedArg; + if (!(deducedTypeArg.getTypeValue() instanceof ISemanticProblem)) { + tpMap.put(tpar, deducedArg); + } + } else { + // TODO: Check for problems in non-type or template template parameters? + tpMap.put(tpar, deducedArg); + } } } } |