On 3 March 2017 at 07:50, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > 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/ )? > I applied the patch but there is still the same problem as the op_cast is converting a pointer to int, but then the following operation expects a pointer. Regards -- 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
