On Thu, Jun 13, 2019 at 09:30:37AM -0600, Martin Sebor wrote: > The size of the access above doesn't look right. The test is:
It is correct. You have MEM <int[5]> [(int *)&i], which is the same thing as i itself, and on this you apply an ARRAY_REF, which is printed after it, with index j_1(D). ARRAY_REF is applied on arrays and the result type is the array element type, so int in this case. Jakub