On Thu, Nov 17, 2016 at 09:25:24PM +0100, Luc Van Oostenryck wrote: > Would something like the following be fine? > ... > I've quickly checked it on the testsuite (and it seems to pass ;). > I'll validate this more thoroughly but I won't be able to do this > just now. OK, I've run it on a much bigger set: a make C=2 kernel with allyesconfig, the same tree as the test I did previously and it gives me the same result and, of course, no crashes. So for me the changes are OK. Tested-by: Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> -- 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