https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94136
palmer at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |palmer at gcc dot gnu.org
--- Comment #4 from palmer at gcc dot gnu.org ---
IMO this isn't actually a documentation bug, it's a functionality bug. I've
sent a patch, sorry it took a while -- I hadn't seen this one, but just
stumbled across Jim's mostly unrelated email and happened to find this bug.
