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

[Whisperity via Phabricator via cfe-commits]

whisperity requested changes to this revision.
whisperity added a comment.
This revision now requires changes to proceed.

There is something that came up in my mind:

Consider a construct like this:

  class A
  {
    A()
    {
      memset(X, 0, 10 * sizeof(int));
    }
  
    int X[10];
  };

I think it's worthy for a test case if this `X` is considered unitialised at the end of the constructor or not. (And if not, a ticket, or a fix for SA in a subpatch.)


https://reviews.llvm.org/D45532