https://gcc.gnu.org/bugzilla/show_bug.cgi?id=95188
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Also, I can probably cook up a more minimal reproducer - but it would be good to track down the state-explosion issues: scaling up -fanalyzer to deal effectively with real-world C code is a goal for me for GCC 11.