[PATCH] D146987: [Assignment Tracking] Enable by default

[Paul Kirth via Phabricator via cfe-commits]

paulkirth added a comment.

Here are reduced cases. I didn't bother bisecting flags, but the test case is quite small
F27199288: clang-crashreports.zip <https://reviews.llvm.org/F27199288>

  struct a {};
  struct b {
    struct b *c;
    struct b *d;
  };
  _Bool e;
  inline void g(struct b *p1) {
    struct b *f = 0;
    e = f->d == f;
    if (e)
      p1->c = p1;
  }
  typedef struct {
    struct a h;
    struct b i;
    struct b j;
  } k;
  inline _Bool l() {
    k *m = 0;
    return (&m->i)->d && (&m->j)->d;
  }
  _Bool n(void);
  static _Bool p() {
    l();
    k o;
    g(&o.i);
    return 0;
  }
  _Bool n() {
    p();
    return 0;
  }


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D146987