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

[George Karpenkov via Phabricator via cfe-commits]

george.karpenkov added a comment.

> Dereferencing is disabled by default

Great! Thank you!

> but I haven't seen the current version of the checker crash due to pointer chasing.

@NoQ saw quite a few crashes during evaluation, right?

> This might be a little nit-picking, but I don't think the finds are false positive

Well, yeah, it depends on how do you define things. If we define reports as "bugs", then I guess this checker already does not find bugs, but best-practices violations.
Then it can be argued whether "best practice" should be extended to include all the memory reachable through pointers.


https://reviews.llvm.org/D49438