https://gcc.gnu.org/bugzilla/show_bug.cgi?id=93355
--- Comment #11 from David Malcolm <dmalcolm at gcc dot gnu.org> --- The above patch fixes the feasibility issue in (b) above, and the analyzer now successfully emits a diagnostic for the leak. The only remaining issue is (a) (see comment #9 above).
