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

Reply via email to