------- Comment #4 from pinskia at gcc dot gnu dot org 2009-06-09 02:40 ------- Here is another testcase that depends on PRE/FRE (really VN) getting the more correct answer: struct A{ int a; int b; };
struct A aa[100]; void foo(int n, int i, int j) { aa[j].a = 0; aa[i].b = 1; if (aa[j].a != 0) link_error(); } -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=35360