llvm-project/clang/docs/analyzer
Kristof Umann 3b18b050b8 [analyzer] Add a checker option to detect nested dead stores
Enables the users to specify an optional flag which would warn for more dead
stores.
Previously it ignored if the dead store happened e.g. in an if condition.

if ((X = generate())) { // dead store to X
}

This patch introduces the `WarnForDeadNestedAssignments` option to the checker,
which is `false` by default - so this change would not affect any previous
users.
I have updated the code, tests and the docs as well. If I missed something, tell
me.

I also ran the analysis on Clang which generated 14 more reports compared to the
unmodified version. All of them seemed reasonable for me.

Related previous patches:
rGf224820b45c6847b91071da8d7ade59f373b96f3

Reviewers: NoQ, krememek, Szelethus, baloghadamsoftware

Reviewed By: Szelethus

Patch by Balázs Benics!

Differential Revision: https://reviews.llvm.org/D66733

llvm-svn: 370767
2019-09-03 15:22:43 +00:00
..
checkers [analyzer] Creating standard Sphinx documentation 2019-02-05 00:39:33 +00:00
developer-docs [Docs] Modernize references to macOS 2019-05-30 16:46:22 +00:00
user-docs [CrossTU] User docs: remove temporary limiation with macro expansion 2019-08-12 12:46:28 +00:00
checkers.rst [analyzer] Add a checker option to detect nested dead stores 2019-09-03 15:22:43 +00:00
conf.py Bump docs version to 6.0 2017-07-19 13:50:27 +00:00
developer-docs.rst [analyzer] Creating standard Sphinx documentation 2019-02-05 00:39:33 +00:00
make.bat
user-docs.rst [analyzer] Add CTU user docs 2019-07-18 14:03:25 +00:00