Messages in this thread | | | From | Julia Lawall <> | Subject | [PATCH 0/3] fix error return code | Date | Fri, 17 Aug 2012 09:46:55 +0200 |
| |
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>
| |