[PATCH] D45532: [StaticAnalyzer] Checker to find uninitialized fields after a constructor call

Daniel Krupp via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Mon Apr 16 04:37:01 PDT 2018


dkrupp added a comment.

Would be interesting to extend this checker (maybe in an upcoming patch) to report on uninitialized members not only in constructors, but also copy constructors and move constructors.

See related https://bugs.llvm.org/show_bug.cgi?id=37086

This bug report also mentions assignment operator. But for that a warning may be not so useful. In that case the members of the assigned to object should have some initialized value already which the programmer may not want to overwrite in the assignment operator.


https://reviews.llvm.org/D45532





More information about the cfe-commits mailing list