On 12/11/18 4:05 PM, Marek Polacek wrote:
On Tue, Dec 11, 2018 at 10:48:17AM -0500, Jason Merrill wrote:
On 12/10/18 2:52 PM, Marek Polacek wrote:
+ if (processing_template_decl && value_dependent_expression_p (expr))
You don't need to check processing_template_decl before
value_dependent_expression_p.
Ok.
I would lean toward checking for value-dependence in
convert_nontype_argument, which already does that a lot. Enough, actually,
that perhaps we should remember the result in a local variable.
I've moved the call, but I didn't add a local variable for the result,
because I was afraid that, since EXPR is being modified on some of the
codepaths, its value-dependent-ness (is that a term?) may change.
Any change would be a bug, but the patch is OK as is.
Jason