RE: [PATCH v2 1/4] drivers/mmc/host/dw_mmc.c: fix error return code

From: Seungwon Jeon
Date: Tue Sep 18 2012 - 06:31:47 EST


On Monday, September 17, 2012, Peter Senna Tschudin <peter.senna@xxxxxxxxx> wrote:
> From: Peter Senna Tschudin <peter.senna@xxxxxxxxx>
>
> Convert a nonnegative error return code to a negative one, as returned
> elsewhere in the function.
>
> A simplified version of the semantic match that finds this problem is as
> follows: (http://coccinelle.lip6.fr/)
>
> // <smpl>
> (
> if@p1 (\(ret < 0\|ret != 0\))
> { ... return ret; }
> |
> ret@p1 = 0
> )
> ... when != ret = e1
> when != &ret
> *if(...)
> {
> ... when != ret = e2
> when forall
> return ret;
> }
> // </smpl>
>
> Signed-off-by: Peter Senna Tschudin <peter.senna@xxxxxxxxx>

Looks good.
Acked-by: Seungwon Jeon <tgih.jun@xxxxxxxxxxx>

> --
> 1.7.11.4

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/