https://gcc.gnu.org/bugzilla/show_bug.cgi?id=82384
Pierre-Marie de Rodat <derodat at adacore dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |derodat at adacore dot com --- Comment #1 from Pierre-Marie de Rodat <derodat at adacore dot com> --- Created attachment 42273 --> https://gcc.gnu.org/bugzilla/attachment.cgi?id=42273&action=edit Tentative untested fix Hello, Thank you for reporting this. Could you please check that the attached untested patch fixes the issue you are reporting? (or tell me how to reproduce on my x86_64-linux box :-)) Thank you in advance!