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

George Karpenkov via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Thu Aug 2 14:23:32 PDT 2018

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.


More information about the cfe-commits mailing list