On Wed, Aug 16, 2017 at 8:34 AM, Luc Van Oostenryck <luc.vanoostenryck@xxxxxxxxx> wrote: > The goal of this series is to implement and integrate to sparse > the method described in the paper: Thanks, now the changes have a good commit log, and the patches all look good to me. I didn't *test* any of it, or try to follow the logic, but it can't be worse than what we had, so "just make it so". Linus -- 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