[PATCH] D48436: [analyzer][UninitializedObjectChecker] Fixed a false negative by no longer filtering out certain constructor calls

Umann Kristóf via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Jun 27 03:05:31 PDT 2018


Szelethus added a comment.

In https://reviews.llvm.org/D48436#1144380, @NoQ wrote:

> I think we need to finish our dialog on who's responsible for initialization and why do we need to filter constructors at all, cause it's kinda hanging (i.e. https://reviews.llvm.org/D45532#inline-422673).


Agreed.

I have some code in the works, and I planned to upload it as a separate patch. Note that I added TODO's around base class handling to avoid forgetting this.

Here's my current thinking of the topic: I changed my mind, and base classes should be handled on their on. This has a number of benefits


https://reviews.llvm.org/D48436





More information about the cfe-commits mailing list