On Tue, Feb 07 2017, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > int smulm1(int a) { return a * -1; } > u32 umulm1(u32 a) { return a * (u32) -1; } > +int sdivm1(int a) { return a * -1; } You probably meant / rather than *. Also, shouldn't you also add a test that when a is unsigned, a/-1 does _not_ get transformed to -a? Rasmus -- 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