Hi Richard, > On 7 Mar 2024, at 13:40, FX Coudert <fxcoud...@gmail.com> wrote: > >> I think it's an obvious change ... > > Thanks, pushed. > > Dimitry, I suggest you post the second patch for review.
Given that the two patches here (for https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111632) were considered obvious - and are needed on release branches. OK for backporting? (Gerald has volunteered to do the earlier ones, I have already made/tested the gcc-13 case) thanks Iain
