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.