This revision was automatically updated to reflect the committed changes.
Closed by commit rC339653: [analyzer][UninitializedObjectChecker] Void pointers
are casted back to their… (authored by Szelethus, committed by ).
Changed prior to commit:
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
whisperity added inline comments.
Comment at: test/Analysis/cxx-uninitialized-object-ptr-ref.cpp:290
struct IntDynTypedVoidPointerTest1 {
- void *vptr; // expected-note{{uninitialized pointee 'this->vptr'}}
+ void *vptr; // expected-note{{uninitialized pointee
NoQ added inline comments.
Comment at: test/Analysis/cxx-uninitialized-object-ptr-ref.cpp:290
struct IntDynTypedVoidPointerTest1 {
- void *vptr; // expected-note{{uninitialized pointee 'this->vptr'}}
+ void *vptr; // expected-note{{uninitialized pointee
george.karpenkov requested changes to this revision.
george.karpenkov added a comment.
This revision now requires changes to proceed.
Cf. my comments to https://reviews.llvm.org/D49437: while this change looks
great, is it possible to separate the pointer chasing from the rest of the
checker?
Szelethus updated this revision to Diff 155915.
Szelethus added a comment.
Rebased to the latest trunk.
https://reviews.llvm.org/D49228
Files:
lib/StaticAnalyzer/Checkers/UninitializedObjectChecker.cpp
test/Analysis/cxx-uninitialized-object-ptr-ref.cpp
Index:
Szelethus created this revision.
Szelethus added reviewers: NoQ, george.karpenkov, xazax.hun, rnkovacs.
Herald added subscribers: cfe-commits, mikhail.ramalho, a.sidorin, szepet,
whisperity.
Repository:
rC Clang
https://reviews.llvm.org/D49228
Files: