https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115528
--- Comment #11 from Jürgen Reuter <juergen.reuter at desy dot de> --- (In reply to Jürgen Reuter from comment #10) > (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. Also the daily bump shortly after midnight of June 13 including all changes from Wednesday, June 12, https://gcc.gnu.org/git/?p=gcc.git;a=commit;h=158ce8ade0a98443b8fc05cbdbed5c49ee8a13b7 is still fine.
