https://gcc.gnu.org/bugzilla/show_bug.cgi?id=107366
David Malcolm <dmalcolm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED --- Comment #4 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Rainer: thanks for filing this bug. Martin: thanks for reducing it and identifying the fix. I believe it's correct, and am bootstrapping a patch containing it.