Hi Luc, On 28 March 2017 at 15:11, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: >> 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. > Well the unsimplified output is correct. The problem appears after simplification. Regards Dibyendu -- 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
