diff options
| author | Douglas Gregor <dgregor@apple.com> | 2010-12-23 23:51:58 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2010-12-23 23:51:58 +0000 |
| commit | 10738d36b150aa65206890c1c845cdba076e4200 (patch) | |
| tree | 9485127dbdbb9dd5937d9615b97baa9bb3ad3ab4 /lib/Sema/SemaType.cpp | |
| parent | 662a4822ee7c8696434b054303c5076a606ab175 (diff) | |
Add an AST representation for non-type template parameter
packs, e.g.,
template<typename T, unsigned ...Dims> struct multi_array;
along with semantic analysis support for finding unexpanded non-type
template parameter packs in types, expressions, and so on.
Template instantiation involving non-type template parameter packs
probably doesn't work yet. That'll come soon.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122527 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaType.cpp')
| -rw-r--r-- | lib/Sema/SemaType.cpp | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/Sema/SemaType.cpp b/lib/Sema/SemaType.cpp index e693c8d4da..46ec0fe109 100644 --- a/lib/Sema/SemaType.cpp +++ b/lib/Sema/SemaType.cpp @@ -1504,6 +1504,8 @@ TypeSourceInfo *Sema::GetTypeForDeclarator(Declarator &D, Scope *S, // it expands those parameter packs. if (T->containsUnexpandedParameterPack()) T = Context.getPackExpansionType(T); + else if (!getLangOptions().CPlusPlus0x) + Diag(D.getEllipsisLoc(), diag::err_variadic_templates); break; case Declarator::FileContext: |