https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93863
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- What version of gcc was this with? This ought to have been fixed by r10-6667-gf76a88ebf089871dcce215aa0cb1956ccc060895 (for PR analyzer/93388).