Re: [PATCH] c++: improve template parameter level lowering

2023-04-20 Thread Jason Merrill via Gcc-patches
On 4/20/23 11:44, Patrick Palka wrote: On Thu, 20 Apr 2023, Patrick Palka wrote: 1. Now that we no longer substitute the constraints of an auto, we can get rid of the infinite recursion loop breaker during level lowering of a constrained auto and we can also use the TEMPLATE_PARM_DESCEN

Re: [PATCH] c++: improve template parameter level lowering

2023-04-20 Thread Patrick Palka via Gcc-patches
On Thu, 20 Apr 2023, Patrick Palka wrote: > 1. Now that we no longer substitute the constraints of an auto, we can >get rid of the infinite recursion loop breaker during level lowering >of a constrained auto and we can also use the TEMPLATE_PARM_DESCENDANTS >cache in this case. > 2. Do

[PATCH] c++: improve template parameter level lowering

2023-04-20 Thread Patrick Palka via Gcc-patches
1. Now that we no longer substitute the constraints of an auto, we can get rid of the infinite recursion loop breaker during level lowering of a constrained auto and we can also use the TEMPLATE_PARM_DESCENDANTS cache in this case. 2. Don't bother recursing when level lowering a cv-qualifi