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

Umann Kristóf via Phabricator via cfe-commits cfe-commits at lists.llvm.org
Wed Apr 11 11:50:32 PDT 2018


Szelethus added inline comments.


================
Comment at: test/Analysis/ctor-uninitialized-member.cpp:869
+void f44() {
+  ContainsUnionWithSimpleUnionTest2(); // xpected-warning{{1 uninitialized field}}
+}
----------------
NoQ wrote:
> Hmm, shouldn't it say "expected"? Do these tests actually work?
Since unions are not yet supported by the CSA, this is only what would be expected from this checker to find in the future. I purposely wrote 'xpected' so tests wouldn't break.


https://reviews.llvm.org/D45532





More information about the cfe-commits mailing list