Re: [PATCH] c++: NTTP object wrapper substitution fixes [PR103346, ...]

2022-12-19 Thread Jason Merrill via Gcc-patches
On 12/19/22 13:13, Patrick Palka wrote: On Mon, 19 Dec 2022, Jason Merrill wrote: On 12/6/22 13:35, Patrick Palka wrote: This patch fixes some issues with substitution into a C++20 template parameter object wrapper: * The first testcase demonstrates a situation where the same_type_p asser

Re: [PATCH] c++: NTTP object wrapper substitution fixes [PR103346, ...]

2022-12-19 Thread Patrick Palka via Gcc-patches
On Mon, 19 Dec 2022, Jason Merrill wrote: > On 12/6/22 13:35, Patrick Palka wrote: > > This patch fixes some issues with substitution into a C++20 template > > parameter object wrapper: > > > > * The first testcase demonstrates a situation where the same_type_p > >assert in relevant case of t

Re: [PATCH] c++: NTTP object wrapper substitution fixes [PR103346, ...]

2022-12-19 Thread Jason Merrill via Gcc-patches
On 12/6/22 13:35, Patrick Palka wrote: This patch fixes some issues with substitution into a C++20 template parameter object wrapper: * The first testcase demonstrates a situation where the same_type_p assert in relevant case of tsubst_copy doesn't hold, because (partial) substitution of {

Re: [PATCH] c++: NTTP object wrapper substitution fixes [PR103346, ...]

2022-12-19 Thread Patrick Palka via Gcc-patches
om tsubst_copy and moves the > > REF_PARENTHESIZED_P handling to tsubst_copy_and_build. > > On second thought, getting rid of the location_wrapper_p and > REF_PARENTHESIZED_P handling from tsubst_copy is perhaps too > risky at this stage. The following patch instead just mo

Re: [PATCH] c++: NTTP object wrapper substitution fixes [PR103346, ...]

2022-12-06 Thread Patrick Palka via Gcc-patches
opy is perhaps too risky at this stage. The following patch instead just moves the tparm object wrapper handling from tsubst_copy to tsubst_copy_and_build and leaves the rest of tsubst_copy alone. Smoke tested so far, full bootstrap+regtest in progress: -- >8-- Subject: [PATCH] c++: NTTP object w

[PATCH] c++: NTTP object wrapper substitution fixes [PR103346, ...]

2022-12-06 Thread Patrick Palka via Gcc-patches
This patch fixes some issues with substitution into a C++20 template parameter object wrapper: * The first testcase demonstrates a situation where the same_type_p assert in relevant case of tsubst_copy doesn't hold, because (partial) substitution of {int,} into the VIEW_CONVERT_EXPR wrapper yi