https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106891
Stephan Bergmann <sbergman at redhat dot com> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|WAITING |RESOLVED
Resolution|--- |DUPLICATE
--- Comment #3 from Stephan Bergmann <sbergman at redhat dot com> ---
(In reply to Richard Biener from comment #2)
> I believe this was fixed with r13-2537-gc8d3b44dfa2851, aka duplicate of
> PR106881
Yes, thanks, a fresh pull fixed my issue.
*** This bug has been marked as a duplicate of bug 106881 ***
