https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106620
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution|--- |WORKSFORME
--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this.
Looking at the Compiler Explorer link, the false positive occurs with gcc 11.1
at -O3.
With gcc 11.1 and gcc 11.3 the false +ve occurs at -O1 and above.
With gcc 12.1 and trunk, the false +ve does not occur.
I've made lots of implementation changes to -fanalyzer in gcc 12 in beyond that
I don't intend to backport to gcc 11, so I'm going to mark this as resolved
with "WORKSFORME".
Feel free to reopen it if you're able to reproduce it with gcc 12 or later;
thanks again for filing this.
