On Fri, Mar 3, 2017 at 7:06 PM, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > The problem occurs in this sequence: > > ptrcast.64 %r26 <- (64) %r20 > add.64 %r27 <- %r26, %r23 > cast.64 %r28 <- (64) %r27 > store.64 %r28 -> 16[%arg1] > > The last cast finds that the instruction type in an integer and does a > cast to Integer, so that causes the store to fail as it expects a > pointer. What is the corresponding C code? With the patches I've posted, the three example you've given are handled without error for me. > Question in my mind is what is the result type of an add operation > when one of the arguments is a pointer? This should only occurs as some form of pointer arithmetic, so the result should be some kind of pointer. Luc -- To unsubscribe from this list: send the line "unsubscribe linux-sparse" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
