https://gcc.gnu.org/bugzilla/show_bug.cgi?id=113253
--- Comment #2 from David Malcolm <dmalcolm at gcc dot gnu.org> --- I'm testing a fix. The bug observably affects trunk and gcc 13.2. It it probably also present but latent on gcc 12, 11, and 10 (-Wanalyzer-deref-before-check was added in gcc 13).
