]> granicus.if.org Git - clang/commit
Fix PR18498: Support explicit template arguments with variadic generic lambdas
authorFaisal Vali <faisalv@yahoo.com>
Sun, 1 Jun 2014 16:11:54 +0000 (16:11 +0000)
committerFaisal Vali <faisalv@yahoo.com>
Sun, 1 Jun 2014 16:11:54 +0000 (16:11 +0000)
commit4f1b413f41afb3833bc5f645c212873f8132fe74
tree27a18ec4b33d49703f6ec36a1f4db9a6db0f0657
parent835addee1e863247210437421dde8c879342ba81
Fix PR18498: Support explicit template arguments with variadic generic lambdas

http://llvm.org/bugs/show_bug.cgi?id=18498

This code was resulting in a crash:

auto L = [](auto ... v) { };
L.operator()<int>(3);

The reason is that the partially-substituted-pack is incorrectly retained within the current-instantiation-scope during template-argument-finalization, and because lambda's are local, there parent instantiation scopes are merged, which leads to the expansion-pattern being retained in the finalized specialization.

This patch ensures that once we have finalized deduction of a parameter-pack, we remove the partially-substituted-pack so that it doesn't cause CheckParameterPacksForExpansion to incorrectly inform the caller that it needs to retain the expansion pattern.

Thanks to Richard Smith for the review!

http://reviews.llvm.org/D2135

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@209992 91177308-0d34-0410-b5e6-96231b3b80d8
lib/Sema/SemaTemplateDeduction.cpp
test/SemaCXX/cxx1y-generic-lambdas-variadics.cpp [new file with mode: 0644]