https://gcc.gnu.org/bugzilla/show_bug.cgi?id=124451
--- Comment #8 from David Malcolm <dmalcolm at gcc dot gnu.org> --- Keeping open to track backporting the fix to GCC 13-15. Note that this doesn't address the -Wanalyzer-use-of-uninitialized-value false +ves (e.g. in "also_also_bad" from comment #3); IIRC that's being tracked as a different bug.
