On Fri, Mar 3, 2017 at 5:38 AM, Dibyendu Majumdar <mobile@xxxxxxxxxxxxxxx> wrote: > Also by casting to an integer subsequent operations fail. Any idea why > cast is being output rather than ptrcast? Yes, it's because casts to void* is not considered as a pointer cast, the rationale being that a void* will need to be casted toa real pointer before being used. Have you still problem after the patch I sent earlier (cfr: https://patchwork.kernel.org/patch/9602045/ )? 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
