On Thu, Jul 4, 2019 at 2:47 PM Jan Hubicka <hubi...@ucw.cz> wrote: > > > > > 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.
Ah, yes - there's now a quite easy way to fix those. Mind open a bugreport so I remember? Thanks, Richard. > Honza