> > Why does this only happen in fre3?! After fre1 we have test (int i, int j, int k, int l) { struct c * cptr.0_1; struct c * cptr2.1_2; int _11;
<bb 2> : cptr.0_1 = cptr; cptr.0_1->b[i_5(D)].a[j_6(D)].val = 123; cptr2.1_2 = cptr2; cptr2.1_2->b[k_8(D)].a2[l_9(D)].val = 2; _11 = cptr.0_1->b[i_5(D)].a[j_6(D)].val; return _11; } I think it is the same issue with AO querries not being valueized you fixed for the other testcase and later reverted. Honza