https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92285
Jonathan Wakely <redi at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Target Milestone|--- |10.0 --- Comment #4 from Jonathan Wakely <redi at gcc dot gnu.org> --- Fixed, but documentation needed.