projects / platform / upstream / llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: db4d454) | patch
[analyzer][UninitializedObjectChecker] New flag to turn off dereferencing
authorKristof Umann <dkszelethus@gmail.com>
Tue, 7 Aug 2018 12:55:26 +0000 (12:55 +0000)
committerKristof Umann <dkszelethus@gmail.com>
Tue, 7 Aug 2018 12:55:26 +0000 (12:55 +0000)
commita3f7b587423122f42a1b7643ec50b60ddaa4dd1d
treee09c0dc5db2dab3573cfad3b477e9c2c0f77292atree | snapshot
parentdb4d4546c6da19cefdd8906c6e0b503e060c83adcommit | 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
clang/lib/StaticAnalyzer/Checkers/UninitializedObjectChecker.cpp diff | blob | history
clang/test/Analysis/cxx-uninitialized-object-inheritance.cpp diff | blob | history
clang/test/Analysis/cxx-uninitialized-object-no-dereference.cpp [new file with mode: 0644] blob
clang/test/Analysis/cxx-uninitialized-object-notes-as-warnings.cpp diff | blob | history
clang/test/Analysis/cxx-uninitialized-object-ptr-ref.cpp diff | blob | history
clang/test/Analysis/cxx-uninitialized-object.cpp diff | blob | history
Domain: System / Toolchain;