vitalybuka added a comment. Miscompile. Here assert fails without the patch.
int* p1; int* p2; int use2() { assert(p1 != p2 || !"reuse"); return p1 == p2; } void f3(int cond) { { int tmp[1024]; p1 = tmp; goto l2; l1: int tmp2[1024]; p2 = tmp2; exit(use2()); } l2: goto l1; } https://reviews.llvm.org/D24693 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org http://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits