[PATCH] D57230: [analyzer] Toning down invalidation a bit

[Gábor Horváth via Phabricator via cfe-commits]

xazax.hun added a comment.

I tried to creduce one file where the result differed and this is the result:

  typedef struct {
    int a;
    int b
  } c;
  d;
  e(c *f) {
    d < f->a;
    c g;
    h(&g.b);
    e(&g);
  }

I think this the core idea is quite straightforward but this example is a bit convoluted due to the recursion. I do not see any value of adding this to the regression tests as this case is already covered there. Do you think I should try to reduce additional files?


CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D57230/new/

https://reviews.llvm.org/D57230