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.
