[PATCH 0/5] fix error return code

2014-11-23 Thread Julia Lawall
The complate semantic patch that finds this problem is as follows: (http://coccinelle.lip6.fr/) // @ok exists@ identifier f,ret,i; expression e; constant c; @@ // identify a function that returns a negative return value at least once. f(...) { ... when any ( return -c@i; | ret = -c@i; ... when !

[PATCH 0/5] fix error return code

2014-08-07 Thread Julia Lawall
The complate semantic patch that finds this problem is as follows: (http://coccinelle.lip6.fr/) // // identify a function that returns a negative return value at least once. @ok exists@ identifier f,ret,i; expression e; constant c; @@ f(...) { ... when any ( return -c@i; | ret = -c@i; ... when !

[PATCH 0/5] fix error return code

2012-08-14 Thread Julia Lawall
These patches fix cases where the return code appears to be unintentially 0. The complete semantic match that finds the problem is as follows: (http://coccinelle.lip6.fr/) // @r@ identifier f; expression ret,e; constant C; @@ f(...) { <+... ( return -C; | ret = -C ... when != ret = e return ret

[PATCH 0/5] fix error return code

2012-08-13 Thread Julia Lawall
These patches fix cases where the return code appears to be unintentially 0. The complete semantic match that finds the problem is as follows: (http://coccinelle.lip6.fr/) // @r@ identifier f; expression ret,e; constant C; @@ f(...) { <+... ( return -C; | ret = -C ... when != ret = e return ret