On Mon, Feb 01, 2016 at 03:28:38AM +0100, Nicolai Stange wrote: > Here comes the greatly enhanced v3 of this series. > I had a few remarks and some questions in some of the patches but I think it's turning pretty good. I'm wondering if you have already tried to use it on something of interesting size like the kernel? If yes, did it gave something useful? Chris, I have reviewed this rather deeply. I think the approach is sound and sane et the code seems quite correct. Do you think you will have some time soon to look at it? Regards, 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
