On Fri, Mar 03, 2017 at 02:52:00AM +0000, Dibyendu Majumdar wrote: > I think this is because the linearize is outputting an integer cast > rather than pointer cast so LLVM is not happy. Yes, it's very possible. As I said, in another mail yesterday, output_op_ptrcast() need some changes. It makes the assumption that the cast is always between type of the same size (and so generate a LLVM's bitcast). But in sparse, OP_PTRCAST is used for all cast to a non-void pointer type. Luc > p.s. should I start a new thread for each separate issue? Yes, please. -- 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