https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88382
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- The extension is intentionally supported. Thus, it should be documented.
joseph at codesourcery dot com Thu, 06 Dec 2018 08:29:45 -0800
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88382
--- Comment #2 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- The extension is intentionally supported. Thus, it should be documented.