https://gcc.gnu.org/bugzilla/show_bug.cgi?id=25508
--- Comment #3 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- The point isn't documenting the rationale for particular choices, it's documenting (in fragments.texi) the general semantics, including for the A=B and A=!B forms. It looks like the documentation was added by r193508 | doko | 2012-11-14 21:29:15 +0000 (Wed, 14 Nov 2012) | 36 lines but without closing this bug.