https://gcc.gnu.org/bugzilla/show_bug.cgi?id=91914
--- Comment #5 from Guillaume Morin <guillaume at morinfr dot org> --- Just FYI, we've hit the same wrong-code bug compiling our codebase. And I can confirm that the patch in comment #2 does fix the problem for us as well.
