diff options
| author | Douglas Gregor <dgregor@apple.com> | 2010-12-22 21:19:48 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2010-12-22 21:19:48 +0000 |
| commit | e02e26293cf8e3bad1059b39cea75c6582896da6 (patch) | |
| tree | e7e1852ce7aeaea89a2db8f5bdcbf2c2f07c41c3 /lib/Sema/SemaTemplateVariadic.cpp | |
| parent | e6913d385e2401f4f680b7ae1ca3bf360879c786 (diff) | |
Implement template argument deduction for pack expansions whose
pattern is a template argument, which involves repeatedly deducing
template arguments using the pattern of the pack expansion, then
bundling the resulting deductions into an argument pack.
We can now handle a variety of simple list-handling metaprograms using
variadic templates. See, e.g., the new "count" metaprogram.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122439 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaTemplateVariadic.cpp')
| -rw-r--r-- | lib/Sema/SemaTemplateVariadic.cpp | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/lib/Sema/SemaTemplateVariadic.cpp b/lib/Sema/SemaTemplateVariadic.cpp index f2651ef65c..bb9c01afad 100644 --- a/lib/Sema/SemaTemplateVariadic.cpp +++ b/lib/Sema/SemaTemplateVariadic.cpp @@ -253,6 +253,12 @@ bool Sema::DiagnoseUnexpandedParameterPack(SourceLocation Loc, return true; } +void Sema::collectUnexpandedParameterPacks(TemplateArgument Arg, + llvm::SmallVectorImpl<UnexpandedParameterPack> &Unexpanded) { + CollectUnexpandedParameterPacksVisitor(Unexpanded) + .TraverseTemplateArgument(Arg); +} + void Sema::collectUnexpandedParameterPacks(TemplateArgumentLoc Arg, llvm::SmallVectorImpl<UnexpandedParameterPack> &Unexpanded) { CollectUnexpandedParameterPacksVisitor(Unexpanded) |