[PATCH] D49228: [analyzer][UninitializedObjectChecker] Void pointer objects are casted back to their dynmic type in note message

Umann Kristóf via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Aug 9 07:04:04 PDT 2018


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

The solution now relies on the refactored version of the checker. Note that it modifies roughly 75% less code ;).


https://reviews.llvm.org/D49228

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

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D49228.159918.patch
Type: text/x-patch
Size: 4601 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20180809/f68d113e/attachment.bin>


More information about the cfe-commits mailing list