https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113719
Alexandre Oliva <aoliva at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Assignee|unassigned at gcc dot gnu.org |aoliva at gcc dot gnu.org Status|RESOLVED |ASSIGNED CC| |aoliva at gcc dot gnu.org Resolution|FIXED |--- --- Comment #12 from Alexandre Oliva <aoliva at gcc dot gnu.org> --- Rainer reports my patch unfixed it :-(