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

[Orlando Cazalet-Hyams via Phabricator via cfe-commits]

Orlando added a comment.

In D146987#4281825 <https://reviews.llvm.org/D146987#4281825>, @paulkirth wrote:

> 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;
>   }

Thank you, that's kind of you to reduce the issue. This is fixed by D148788 <https://reviews.llvm.org/D148788>.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D146987