diff options
| author | Douglas Gregor <dgregor@apple.com> | 2011-01-06 22:09:01 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2011-01-06 22:09:01 +0000 |
| commit | f5c65ffbd7374b6c8d9f1e361041578640cab320 (patch) | |
| tree | 8d66e21f4816c23a70b7b26a28eec54caafb66c3 /lib/AST/Type.cpp | |
| parent | 150d2df7b659105cfbab39cc85af225391952815 (diff) | |
Implement template argument deduction from a call to a function
template whose last parameter is a parameter pack. This allows us to
form a call to, e.g.,
template<typename ...Args1, typename ...Args2>
void f(std::pair<Args1, Args2> ...pairs);
given zero or more instances of "pair".
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@122973 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/AST/Type.cpp')
| -rw-r--r-- | lib/AST/Type.cpp | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/lib/AST/Type.cpp b/lib/AST/Type.cpp index 257d114f25..708c344bc7 100644 --- a/lib/AST/Type.cpp +++ b/lib/AST/Type.cpp @@ -1143,6 +1143,9 @@ FunctionProtoType::FunctionProtoType(QualType result, const QualType *args, } } +bool FunctionProtoType::isTemplateVariadic() const { + return getNumArgs() && isa<PackExpansionType>(getArgType(getNumArgs() - 1)); +} void FunctionProtoType::Profile(llvm::FoldingSetNodeID &ID, QualType Result, const QualType *ArgTys, unsigned NumArgs, |