https://gcc.gnu.org/bugzilla/show_bug.cgi?id=80658
--- Comment #5 from Jonathan Wakely <redi at gcc dot gnu.org> --- Feel free to try to reproduce it or try to contact them. When we have a reproducer, or even a valgrind report, then a bug report might be useful. Until then it's not useful. "I read blog that said there's a bug" is not a bug report.