https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88116
--- Comment #6 from G. Steinmetz <gs...@t-online.de> --- (In reply to kargl from comment #5) > I don't know if you like to keep track of issues that you submit or not. Maybe I could do better. But for the next couple of weeks, I'm gonna take an absence from Bugzilla. > Do you want to migrate this to its own PR? This is now pr88467. Thanks.
