https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115528
--- Comment #10 from Jürgen Reuter <juergen.reuter at desy dot de> --- (In reply to Jürgen Reuter from comment #9) > Also at the daily bump shortly after midnight morning of June 11, > https://gcc.gnu.org/git/?p=gcc.git;a=commit; > h=097bc0aebaed58c11c738ea61da723cca950e5b1 > the reproducer still runs fine. Next landmark: also the daily bump after Tuesday June 11 in the morning of June 12, https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=7fa4b335b1ae6824893528eae56fb01ec15b6bc5 is still fine.
