https://gcc.gnu.org/bugzilla/show_bug.cgi?id=89936
--- Comment #1 from Roland Illig <roland.illig at gmx dot de> --- And just in case the punctuation in this particular message is fully intentional: Please document it why it needs to be exactly this way. It looks too much like a mistake.