https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88357
--- Comment #6 from G. Steinmetz <gs...@t-online.de> --- Sure, this is now pr88379.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88357
--- Comment #6 from G. Steinmetz <gs...@t-online.de> --- Sure, this is now pr88379.