https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70870
G. Steinmetz <gs...@t-online.de> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |gs...@t-online.de --- Comment #8 from G. Steinmetz <gs...@t-online.de> --- > These should have a new PR opened for them. Done. This is now pr85506.