On Sat, Jul 01, 2017 at 12:14:10PM -0700, Christopher Li wrote: > On Sat, Jul 1, 2017 at 1:45 AM, Luc Van Oostenryck > <luc.vanoostenryck@xxxxxxxxx> wrote: > > Yes, I have. > > But for the moment, I was more interested in feedback on conceptual > > level. I'll need to consolidate things and then I'll resend things. > > No problem. I get that you want those patch for review only. > I am only asking git branch because it can save me switch to the > patchwork setup. Some one else might want to try your patches > as well. > > No a big deal, I will just fetch from patchworks then. Sorry but this WE I hadn't access to my usual setup. The patches can be found at: git://github.com/lucvoo/sparse.git diet-symbol and git://github.com/lucvoo/sparse.git diet-for-stmt -- 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