Re: [PATCH] c++: ahead-of-time overload set pruning for non-dep calls

2021-12-16 Thread Jason Merrill via Gcc-patches
On 12/16/21 14:53, Patrick Palka wrote: On Thu, 16 Dec 2021, Patrick Palka wrote: On Wed, 15 Dec 2021, Jason Merrill wrote: On 12/15/21 12:49, Patrick Palka wrote: This patch makes us remember the function selected by overload resolution during ahead of time processing of a non-dependent cal

Re: [PATCH] c++: ahead-of-time overload set pruning for non-dep calls

2021-12-16 Thread Patrick Palka via Gcc-patches
On Thu, 16 Dec 2021, Patrick Palka wrote: > On Wed, 15 Dec 2021, Jason Merrill wrote: > > > On 12/15/21 12:49, Patrick Palka wrote: > > > This patch makes us remember the function selected by overload > > > resolution during ahead of time processing of a non-dependent call > > > expression, so th

Re: [PATCH] c++: ahead-of-time overload set pruning for non-dep calls

2021-12-16 Thread Patrick Palka via Gcc-patches
On Wed, 15 Dec 2021, Jason Merrill wrote: > On 12/15/21 12:49, Patrick Palka wrote: > > This patch makes us remember the function selected by overload > > resolution during ahead of time processing of a non-dependent call > > expression, so that we avoid repeating most of the work of overload > >

Re: [PATCH] c++: ahead-of-time overload set pruning for non-dep calls

2021-12-15 Thread Jason Merrill via Gcc-patches
On 12/15/21 12:49, Patrick Palka wrote: This patch makes us remember the function selected by overload resolution during ahead of time processing of a non-dependent call expression, so that we avoid repeating most of the work of overload resolution at instantiation time. This mirrors what we alr

[PATCH] c++: ahead-of-time overload set pruning for non-dep calls

2021-12-15 Thread Patrick Palka via Gcc-patches
This patch makes us remember the function selected by overload resolution during ahead of time processing of a non-dependent call expression, so that we avoid repeating most of the work of overload resolution at instantiation time. This mirrors what we already do for non-dependent operator express