https://gcc.gnu.org/bugzilla/show_bug.cgi?id=94362
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Oops; I was wrong; this isn't yet fixed on trunk. I can reproduce this with the attachment. It also reports warnings from -Wanalyzer-too-complex.