On Fri, Jul 14, 2017 at 10:48:57AM -0700, Christopher Li wrote: > I have push a preview version of 0.5.1-rc5 to sparse-next. > > https://git.kernel.org/pub/scm/devel/sparse/sparse.git/log/?h=sparse-next > > If no big surprise, I will push RC5 to master and tag it tomorrow. [Sorry, I'm on vacation and very little computer access]. I still object to the kill_unreachable_bbs() patch and I ask to reconsider it in favor of the original one. Since this has already been discussed, I can only invite to read again the original patch and the one it fixes where the situation is explained, I think, clearly. -- 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