https://gcc.gnu.org/bugzilla/show_bug.cgi?id=61662
Gerald Pfeifer <gerald at pfeifer dot com> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |RESOLVED CC| |gerald at pfeifer dot com Resolution|--- |FIXED --- Comment #4 from Gerald Pfeifer <gerald at pfeifer dot com> --- I committed a minor variation (no code changes) of this patch. Thanks, David!