[PATCH] D49438: [analyzer][UninitializedObjectChecker] New flag to turn off dereferencing

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added a comment.

> I think what pointer chasing should do, is check whether that pointer owns the pointee

But ownership is a convention, and it's not always deducible from a codebase.
I think of those as two separate checks, and I think we should only talk about enabling the pointer-chasing after we had established that just checking for uninitialized fields finds lots of valid bugs (and we can only do that after it gets enabled for many projects)


https://reviews.llvm.org/D49438