https://gcc.gnu.org/bugzilla/show_bug.cgi?id=88810
Thomas Koenig <tkoenig at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |tkoenig at gcc dot gnu.org
--- Comment #4 from Thomas Koenig <tkoenig at gcc dot gnu.org> ---
As far as I can see, the duplicated code does not do anything bad,
and removing the duplicate also would not do anything bad.
A patch removing the duplication is pre-approved, provided it
passes a regression test.
