On Wed, Aug 16, 2017 at 5:51 PM, Linus Torvalds <torvalds@xxxxxxxxxxxxxxxxxxxx> wrote: > On Wed, Aug 16, 2017 at 8:34 AM, Luc Van Oostenryck 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". Thank you. My own tests are pretty promising: no crashes, testsuite OK, kernel allyesconfig OK too (but there is just 8 additional 'bad context' warnings I would like to investigate, OTOH, knowing how broken the current SSA is I would bet that these warnings were, in fact, missing in the old/present version). For the logic, the (first part of the) paper is pretty straight forward I won't be able to explain better than they did. Best regards, -- Luc Van Oostenryck -- 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
