diff options
| author | Douglas Gregor <dgregor@apple.com> | 2011-09-22 15:57:07 +0000 |
|---|---|---|
| committer | Douglas Gregor <dgregor@apple.com> | 2011-09-22 15:57:07 +0000 |
| commit | af130823cbac5c02f7fe57a5733ee511f5a3ac98 (patch) | |
| tree | acb2bdc77d2bd9efb28e9dfd85b649eb80235ad0 /lib/Sema/SemaTemplateDeduction.cpp | |
| parent | b681fb180dd1d1e8659006f1987711dcc92a6241 (diff) | |
Don't allow template argument deduction to deduce a placeholder type,
ever. Fixes PR10939.
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@140304 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Sema/SemaTemplateDeduction.cpp')
| -rw-r--r-- | lib/Sema/SemaTemplateDeduction.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/Sema/SemaTemplateDeduction.cpp b/lib/Sema/SemaTemplateDeduction.cpp index 762e51a32c..add8e10831 100644 --- a/lib/Sema/SemaTemplateDeduction.cpp +++ b/lib/Sema/SemaTemplateDeduction.cpp @@ -977,6 +977,10 @@ DeduceTemplateArguments(Sema &S, // cv-list T if (const TemplateTypeParmType *TemplateTypeParm = Param->getAs<TemplateTypeParmType>()) { + // Just skip any attempts to deduce from a placeholder type. + if (Arg->isPlaceholderType()) + return Sema::TDK_Success; + unsigned Index = TemplateTypeParm->getIndex(); bool RecanonicalizeArg = false; |