[PATCH] PR12262 - assertion when substituting explicit template arguments does not substitute a sizeof-pack expression.

Serge Pavlov sepavloff at gmail.com
Thu Jul 11 03:34:49 PDT 2013


This your patch fixes problem described in PR12262, PR12699, PR12439,
PR13272, PR14273, PR15112, PR15896 and in your test case, - no more assert
violation observed.

2013/7/11 Richard Smith <richard at metafoo.co.uk>

> It might be cleaner to teach template argument deduction to add
> mappings from the unknown template parameters to themselves during its
> partial substitution, but in any case, there's no need to clone them.

The root of the problem is that when a template is being instantiated, all
parameters must already be mapped to proper arguments, even those undeduced
It might be better for parameter pack to have some represenation also, but
its absence is not a problem.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130711/640e9262/attachment.html>

More information about the cfe-commits mailing list