https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111567
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> --- This PR tracks adding support for the attribute to -fanalyzer (which I can take a look at). Adding the attribute itself is tracked by PR 108896.
