Re: [PATCH] c++: parameter pack inside constexpr if [PR101764]

2021-09-13 Thread Patrick Palka via Gcc-patches
On Sun, Sep 12, 2021 at 10:29 PM Jason Merrill wrote: > > On 9/12/21 7:48 PM, Patrick Palka wrote: > > On Thu, 2 Sep 2021, Jason Merrill wrote: > > > >> On 8/30/21 10:05 PM, Patrick Palka wrote: > >>> Here when partially substituting into the pack expansion, substitution > >>> into the constexpr i

Re: [PATCH] c++: parameter pack inside constexpr if [PR101764]

2021-09-12 Thread Jason Merrill via Gcc-patches
On 9/12/21 7:48 PM, Patrick Palka wrote: On Thu, 2 Sep 2021, Jason Merrill wrote: On 8/30/21 10:05 PM, Patrick Palka wrote: Here when partially substituting into the pack expansion, substitution into the constexpr if yields a still-dependent tree, so tsubst_expr returns an IF_STMT with an unsu

Re: [PATCH] c++: parameter pack inside constexpr if [PR101764]

2021-09-12 Thread Patrick Palka via Gcc-patches
On Thu, 2 Sep 2021, Jason Merrill wrote: > On 8/30/21 10:05 PM, Patrick Palka wrote: > > Here when partially substituting into the pack expansion, substitution > > into the constexpr if yields a still-dependent tree, so tsubst_expr > > returns an IF_STMT with an unsubstituted IF_COND and with > >

Re: [PATCH] c++: parameter pack inside constexpr if [PR101764]

2021-09-02 Thread Jason Merrill via Gcc-patches
On 8/30/21 10:05 PM, Patrick Palka wrote: Here when partially substituting into the pack expansion, substitution into the constexpr if yields a still-dependent tree, so tsubst_expr returns an IF_STMT with an unsubstituted IF_COND and with IF_STMT_EXTRA_ARGS added to. Hence after partial substitu

[PATCH] c++: parameter pack inside constexpr if [PR101764]

2021-08-30 Thread Patrick Palka via Gcc-patches
Here when partially substituting into the pack expansion, substitution into the constexpr if yields a still-dependent tree, so tsubst_expr returns an IF_STMT with an unsubstituted IF_COND and with IF_STMT_EXTRA_ARGS added to. Hence after partial substitution the pack expansion pattern still refers