https://gcc.gnu.org/bugzilla/show_bug.cgi?id=100705

David Malcolm <dmalcolm at gcc dot gnu.org> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|warn about dead store       |RFE: warn about dead store

--- Comment #1 from David Malcolm <dmalcolm at gcc dot gnu.org> ---
Thanks for filing this RFE.

Some notes:

"CWE-563: Assignment to Variable without Use":
  https://cwe.mitre.org/data/definitions/563.html

PVS-Studio implements this as V-519:
  https://pvs-studio.com/en/docs/warnings/v519/
  https://pvs-studio.com/en/blog/examples/v519/
    (lots of examples at that link)

I'm not sure how well this ties into what the analyzer is already doing,
though.

Reply via email to