[PATCH] drivers/mtd/devices/spear_smi.c: failure test for null rather than negative integer

Stefan Roese sr at denx.de
Mon Jul 16 05:38:19 EDT 2012


On Wednesday 11 July 2012 10:58:38 Julia Lawall wrote:
> From: Julia Lawall <Julia.Lawall at lip6.fr>
> 
> 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 <Julia.Lawall at lip6.fr>

Acked-by: Stefan Roese <sr at denx.de>
 
Thanks,
Stefan



More information about the linux-mtd mailing list