https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92757
--- Comment #3 from Ricardo Abreu <ricardolafabreu at gmail dot com> --- Note that I would classify this as a request for improvement rather than a bug. A manual is not a specification, it is something that should inform users, and its contents can be better or worse in achieving that for reasons beyond strict correctness.