diff options
| author | Julia Lawall <[email protected]> | 2010-02-06 05:43:58 -0300 |
|---|---|---|
| committer | Mauro Carvalho Chehab <[email protected]> | 2010-02-26 15:10:57 -0300 |
| commit | 62bdbb735c0415c2ffdddc2269a860a76f7f716a (patch) | |
| tree | 6f46610dcccc749ab3c08a09e6c74d64811c5935 /scripts/objdiff | |
| parent | f0289efa1938eac27a98883bf33af946b13e1110 (diff) | |
V4L/DVB: drivers/media: Correct NULL test
In each case, the NULL test has been performed already.
A simplified version of the semantic match that finds this problem is as
follows: (http://coccinelle.lip6.fr/)
// <smpl>
@r@
expression *x;
expression e;
identifier l;
@@
if (x == NULL || ...) {
... when forall
return ...; }
... when != goto l;
when != x = e
when != &x
*x == NULL
// </smpl>
Signed-off-by: Julia Lawall <[email protected]>
Signed-off-by: Mauro Carvalho Chehab <[email protected]>
Diffstat (limited to 'scripts/objdiff')
0 files changed, 0 insertions, 0 deletions