[PATCH] D66733: [analyzer] Add a checker option to detect nested dead stores

Kristóf Umann via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Oct 14 05:19:59 PDT 2019


Szelethus added a comment.

In D66733#1706521 <https://reviews.llvm.org/D66733#1706521>, @sylvestre.ledru wrote:

> I added it to the release notes here : https://reviews.llvm.org/rC374593
>  I am wondering if the option( WarnForDeadNestedAssignments ) to disable it is really necessary?
>  I haven't seen any false positive while deadstore has some.


Thank you!! Well, the option was in place in case some false positives do arise from this, but we did suspect that wouldn't happen. I'm not against removing it completely, or hiding it (so that it would only be listed under `-analyzer-checker-option-help-developer`).

Some of folks working on the analyzer are preparing for the conference, hence the slower response time, sorry :^)


Repository:
  rL LLVM

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D66733/new/

https://reviews.llvm.org/D66733





More information about the cfe-commits mailing list