Hello all, On Wed, Dec 16, 2020 at 9:31 AM Martin Liška <mli...@suse.cz> wrote: > I've just create PR for it: > https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98312
Thank you. I can reproduce the issue: at this point I suspect that my testing hasn’t detected this because of some inconsistency with my incremental builds. The actual correction is a few patches later in my porting queue: I’m about to commit it. Sorry for the trouble! -- Pierre-Marie de Rodat <dero...@adacore.com>
