diff options
| author | Richard Smith <richard-llvm@metafoo.co.uk> | 2017-01-09 07:14:40 +0000 |
|---|---|---|
| committer | Richard Smith <richard-llvm@metafoo.co.uk> | 2017-01-09 07:14:40 +0000 |
| commit | de0d34a57636f8160d19b46c5526654268aa2a25 (patch) | |
| tree | a156b0d2fa76a8a45e73bcfa38fae9c6936c92e4 /llvm/lib/Analysis/ScalarEvolution.cpp | |
| parent | 2aae5dc713c050599c24da260fbd44d5ebcc511a (diff) | |
| download | bcm5719-llvm-de0d34a57636f8160d19b46c5526654268aa2a25.tar.gz bcm5719-llvm-de0d34a57636f8160d19b46c5526654268aa2a25.zip | |
Implement DR1388 (wg21.link/cwg1388).
This issue clarifies how deduction proceeds past a non-trailing function
parameter pack. Essentially, the pack itself is skipped and consumes no
arguments (except for those implied by an explicitly-specified template
arguments), and nothing is deduced from it. As a small fix to the standard's
rule, we do not allow subsequent deduction to change the length of the function
parameter pack (by preventing extension of the explicitly-specified pack if
present, and otherwise deducing all contained packs to empty packs).
llvm-svn: 291425
Diffstat (limited to 'llvm/lib/Analysis/ScalarEvolution.cpp')
0 files changed, 0 insertions, 0 deletions
