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.