https://gcc.gnu.org/bugzilla/show_bug.cgi?id=42546
--- Comment #5 from kargl at gcc dot gnu.org --- (In reply to kargl from comment #4) > I have a patch except for the doc fixes, which I'll nick from Tobias' 10 > year old patch. It seems over the years that we've fixed the documentation, but not the implementation details. I just submitted a patch.