https://gcc.gnu.org/bugzilla/show_bug.cgi?id=99269
David Malcolm <dmalcolm at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |ASSIGNED Last reconfirmed| |2021-11-30 Ever confirmed|0 |1 --- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Thanks for filing this bug. I'm able to reproduce it with gcc 10.3: https://godbolt.org/z/xajnz8abn but it seems to be fixed in gcc 11 onwards (I heavily rewrote the internals of the analyzer in gcc 11). I'll add this as a regression test to the testsuite and then close this out; thanks again.