These patches fix cases where the return code appears to be unintentially nonnegative. The complete semantic match that finds the problem is as follows: (http://coccinelle.lip6.fr/) // <smpl> @@ identifier ret,l; expression e1,e2,e3; statement S; @@ if (ret < 0) { ... return ret; } ... when != ret = e1 when forall ( goto l; | return ...; | if (<+... ret = e3 ...+>) S | *if(...) { ... when != ret = e2 * return ret; } ) // </smpl> -- To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
