[PATCH] D49199: [analyzer][UninitializedObjectChecker] Pointer/reference objects are dereferenced according to dynamic type

[Umann Kristóf via Phabricator via cfe-commits]

Szelethus updated this revision to Diff 155913.
Szelethus added a comment.

Rebased to the latest trunk.


https://reviews.llvm.org/D49199

Files:
  lib/StaticAnalyzer/Checkers/UninitializedObjectChecker.cpp
  test/Analysis/cxx-uninitialized-object-inheritance.cpp
  test/Analysis/cxx-uninitialized-object-ptr-ref.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D49199.155913.patch
Type: text/x-patch
Size: 10094 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180717/326e5844/attachment-0001.bin>