diff options
| author | Kristof Umann <dkszelethus@gmail.com> | 2018-08-08 13:18:53 +0000 |
|---|---|---|
| committer | Kristof Umann <dkszelethus@gmail.com> | 2018-08-08 13:18:53 +0000 |
| commit | ef9af05539d9cb7f11346588fbe719f30712b638 (patch) | |
| tree | 360fbb39fb50785dc5784180587473fee6d959da /llvm/test/Bitcode/multi-module.ll | |
| parent | db5908deb964b81234a59ab477b460275552c038 (diff) | |
| download | bcm5719-llvm-ef9af05539d9cb7f11346588fbe719f30712b638.tar.gz bcm5719-llvm-ef9af05539d9cb7f11346588fbe719f30712b638.zip | |
[analyzer][UninitializedObjectChecker] Pointer/reference objects are dereferenced according to dynamic type
This patch fixed an issue where the dynamic type of pointer/reference
object was known by the analyzer, but wasn't obtained in the checker,
which resulted in false negatives. This should also increase reliability
of the checker, as derefencing is always done now according to the
dynamic type (even if that happens to be the same as the static type).
Special thanks to Artem Degrachev for setting me on the right track.
Differential Revision: https://reviews.llvm.org/D49199
llvm-svn: 339240
Diffstat (limited to 'llvm/test/Bitcode/multi-module.ll')
0 files changed, 0 insertions, 0 deletions
