https://gcc.gnu.org/bugzilla/show_bug.cgi?id=110830
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- For reference, I implemented use_after_free::supercedes_p in commit g:33255ad3ac14e3953750fe0f2d82b901c2852ff6 as part of the gcc 12 (re)implementation of -Wanalyzer-use-of-uninitialized-value.