On Tue, Mar 28, 2017 at 02:58:57PM +0100, Dibyendu Majumdar wrote: > Hi Luc, > > > The first instruction and.32 refers to %r4 which is undefined. Yes, I saw. This %r4 corresponds (somehow) to s3 which isn't initialized. But yes, there is two problems here: *) we should use something explicit, like VOID *) there is a circulary dependence between %r3 & %r4, the first %r4 being obviously wrong. I suspect there is a lot of problems present once there is some undefined variables. Thanks for the repoort. -- 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