https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80564 --- Comment #7 from Robert Haberlach <columbo@gmx-topmail.de> --- Oh, damn. "Submit only my new comment" does not what I thought it does. :-)