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

Gábor Horváth via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Fri Apr 13 05:32:15 PDT 2018


xazax.hun added inline comments.


================
Comment at: lib/StaticAnalyzer/Checkers/CtorUninitializedMemberChecker.cpp:35
+
+  FieldChain Chain;
+  // If this is a fieldchain whose last element is an uninitialized region of a
----------------
I was wondering, do you need the chain at all? I think a field region might be sufficient. The enclosing object of the field should be accessible by querying the super region of the field region.


https://reviews.llvm.org/D45532





More information about the cfe-commits mailing list