https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88469
Stefan Ring <stefanrin at gmail dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED Resolution|--- |FIXED --- Comment #16 from Stefan Ring <stefanrin at gmail dot com> --- This was already fixed by the commits in comments #8-#11.