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)
commit3628cb9cb67bf934a8a01a1bb619f25ce8188c4c
tree54baf12b5cfc806baadcab85fc5032aec877d8a2
parentd6f11a70abb1f674f00993429c81094a2f4014db
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

llvm-svn: 209992
clang/lib/Sema/SemaTemplateDeduction.cpp
clang/test/SemaCXX/cxx1y-generic-lambdas-variadics.cpp [new file with mode: 0644]