maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[clang] fix regression deducing pack expansion arguments introduced by D110216 

This test case had been missing when the original code
was introduced by 2fcb863b2b.

Signed-off-by: Matheus Izvekov <mizvekov@gmail.com>

Differential Revision: https://reviews.llvm.org/D114207
This commit is contained in:
Matheus Izvekov 2021-11-19 01:17:40 +01:00
parent 0425ea4621
commit 85914b7570
No known key found for this signature in database
GPG Key ID: 5C771D2BB8AB9907
2 changed files with 19 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
clang/lib/Sema/SemaTemplateDeduction.cpp
View File

@ -1337,6 +1337,13 @@ static Sema::TemplateDeductionResult DeduceTemplateArgumentsByTypeMatch(
TemplateDeductionInfo &Info,
SmallVectorImpl<DeducedTemplateArgument> &Deduced, unsigned TDF,
bool PartialOrdering, bool DeducedFromArrayBound) {
// If the argument type is a pack expansion, look at its pattern.
// This isn't explicitly called out
if (const auto *AExp = dyn_cast<PackExpansionType>(A))
A = AExp->getPattern();
assert(!isa<PackExpansionType>(A.getCanonicalType()));
if (PartialOrdering) {
// C++11 [temp.deduct.partial]p5:
// Before the partial ordering is done, certain transformations are

13
clang/test/CXX/temp/temp.fct.spec/temp.deduct/temp.deduct.partial/p12.cpp
View File

@ -1,5 +1,4 @@
// RUN: %clang_cc1 -std=c++11 -fsyntax-only -verify %s
// expected-no-diagnostics
// Note: Partial ordering of function templates containing template
// parameter packs is independent of the number of deduced arguments
@ -26,3 +25,15 @@ void test_h() {
double &dr1 = h((int(*)(int, float&))0);
double &dr2 = h((int(*)(int))0);
}
namespace test_j {
template <int I> struct ref {};
template <int... L> void map(ref<L>...);
template <int head, int... tail> void map(ref<head> x, ref<tail>... xs); // expected-note {{here}}
template void map<0, 1>(ref<0>, ref<1>);
// expected-error@-1 {{explicit instantiation of undefined function template 'map'}}
} // namespace test_j