On Fri, Jan 23, 2015 at 05:08:03PM +0100, Radim Krčmář wrote: > This patch will prevent future detection of functional bugs :( Hm. You're right. Smatch should be able to follow the logic. The code to handle this is pretty new. I'll look into why it wasn't working. regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe kvm" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
