https://gcc.gnu.org/bugzilla/show_bug.cgi?id=96651
David Malcolm <dmalcolm at gcc dot gnu.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
Status|ASSIGNED |RESOLVED
Resolution|--- |FIXED
--- Comment #3 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Should be fixed by the above patch; marking as resolved.
That said, does this fix the false positives from curl? In the first example
in https://github.com/curl/curl/pull/5815 I see various function calls on the
path before the "switch", and if those are in a different source file the
analyzer ought to conservatively assume that non-static globals could get
written to.
