https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107283

--- Comment #2 from g.peterh...@t-online.de ---
That will be right. I had reported something similar many years ago - but it
was not fixed.

thx
Gero

Reply via email to