Hi Thomas, This has to be the shortest interval between submission and pushing of a patch that I have experienced!
Pushed to mainline as r15-5347... Thanks for the review! Paul On Sat, 16 Nov 2024 at 15:46, Thomas Koenig <tkoe...@netcologne.de> wrote: > Hi Paul, > > > > This is a particularly straightforward, going on 'obvious', patch. The > > bug goes back to at least gcc-6.4.1. > > > > OK for mainline and, after a week or two, to 13- and 14-branches? > > As you say, this one is straightforward. > > OK for trunk and as far back as you care to backport. > > Thanks for the patch! > > Best regards > > Thomas > > >