https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100438
--- Comment #11 from Filipe Brandenburger <filbranden at gmail dot com> --- BTW, I just checked and see that the commit is already pushed upstream: https://github.com/gcc-mirror/gcc/commit/72264a639729a5dcc21dbee304717ce22b338bfd Thanks!
