https://gcc.gnu.org/bugzilla/show_bug.cgi?id=118099
Jonathan Wakely <redi at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |14.5
Assignee|unassigned at gcc dot gnu.org |redi at gcc dot gnu.org
Status|NEW |ASSIGNED
--- Comment #2 from Jonathan Wakely <redi at gcc dot gnu.org> ---
Looks like this got missed when it was first reported, maybe due to the
Christmas break. The patch looks correct, thanks.
This bug seems to have been present for a very long time.
