ee94e8ba000a20d5cdcec8b17838b4d2965bd9c0 - llvm-project/clang

commit	ee94e8ba000a20d5cdcec8b17838b4d2965bd9c0	[log] [tgz]
author	Kristof Umann <dkszelethus@gmail.com>	Tue Aug 07 12:55:26 2018 +0000
committer	Copybara-Service <copybara-worker@google.com>	Sun Sep 20 22:15:59 2020 -0700
tree	c3c3e8bb01fec9a21723f55a989bc95c58600544
parent	2a6b7cfe9076a24051cb4ddf0e537c4154fea836 [diff]

[analyzer][UninitializedObjectChecker] New flag to turn off dereferencing

Even for a checker being in alpha, some reports about pointees held so little
value to the user that it's safer to disable pointer/reference chasing for now.
It can be enabled with a new flag, in which case checker should function as it
has always been. This can be set with `CheckPointeeInitialization`.

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

llvm-svn: 339135
GitOrigin-RevId: a3f7b587423122f42a1b7643ec50b60ddaa4dd1d

lib/StaticAnalyzer/Checkers/UninitializedObjectChecker.cpp[diff]
test/Analysis/cxx-uninitialized-object-inheritance.cpp[diff]
test/Analysis/cxx-uninitialized-object-no-dereference.cpp[Added - diff]
test/Analysis/cxx-uninitialized-object-notes-as-warnings.cpp[diff]
test/Analysis/cxx-uninitialized-object-ptr-ref.cpp[diff]
test/Analysis/cxx-uninitialized-object.cpp[diff]

6 files changed

tree: c3c3e8bb01fec9a21723f55a989bc95c58600544