On Wednesday 11 July 2012 10:58:38 Julia Lawall wrote: > From: Julia Lawall <[email protected]> > > dev_get_platdata returns a pointer, so the failure value would be NULL > rather than a negative integer. > > The semantic match that finds this problem is: (http://coccinelle.lip6.fr/) > > // <smpl> > @@ > expression x,e; > statement S1,S2; > @@ > > *x = dev_get_platdata(...) > ... when != x = e > *if (x < 0) S1 else S2 > // </smpl> > > Signed-off-by: Julia Lawall <[email protected]>
Acked-by: Stefan Roese <[email protected]> Thanks, Stefan -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
