https://gcc.gnu.org/bugzilla/show_bug.cgi?id=98312
pmderodat at gcc dot gnu.org changed:
What |Removed |Added
----------------------------------------------------------------------------
Assignee|unassigned at gcc dot gnu.org |pmderodat at gcc dot
gnu.org
CC| |pmderodat at gcc dot gnu.org
--- Comment #2 from pmderodat at gcc dot gnu.org ---
Hello Martin,
Thank you for reporting this and sorry for the inconvenience! As discussed on
gcc-patches@, I suspect that my testing hasn’t detected this because of some
inconsistency with my incremental builds.
This should be fixed now that
https://gcc.gnu.org/git/?p=gcc.git;a=commitdiff;h=cbe22e189a355f19eb1344fcaf91bc2bb0b95f36
is pushed.
