https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64883
--- Comment #51 from Jonathan Wakely <redi at gcc dot gnu.org> --- I don't think any documentation change is needed.
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=64883
--- Comment #51 from Jonathan Wakely <redi at gcc dot gnu.org> --- I don't think any documentation change is needed.