On Tue, Sep 09, 2014 at 10:11:38PM -0700, Andrew Morton wrote: > On Wed, 10 Sep 2014 07:05:40 +0200 (CEST) Jiri Kosina <jkosina@xxxxxxx> wrote: > This is the sort of error which a static checker could find. I wonder > if any of them do so. Yes. Ted asked me to add this to Smatch and that's how we found the problems in ext4. I'll push it out later this week. It won't find every single bug. We have fixed the 8 bugs that Smatch found. regards, dan carpenter -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>