Staging: b3dfg: Drop NULL test on list_entry result
authorJulia Lawall <julia@diku.dk>
Sun, 12 Jul 2009 07:43:21 +0000 (09:43 +0200)
committerGreg Kroah-Hartman <gregkh@suse.de>
Tue, 15 Sep 2009 19:01:40 +0000 (12:01 -0700)
commit980fd895e63a831bb8f0db8741a19169d9274c75
tree15a2245bf8ffc27cf6f5f838c14036bc4bbc797c
parentf2eb5197740d5c1c85de8a96111f153c33c4891e
Staging: b3dfg: Drop NULL test on list_entry result

list_entry, which is an alias for container_of, cannot return NULL, as
there is no way to add a NULL value to a doubly linked list.

A simplified version of the semantic match that findds this problem is as
follows:
(http://www.emn.fr/x-info/coccinelle/)

// <smpl>
@r@
expression x,E;
statement S1,S2;
position p,p1;
@@

*x = list_entry@p(...)
... when != x = E
*if@p1 (x == NULL) S1 else S2
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Greg Kroah-Hartman <gregkh@suse.de>
drivers/staging/b3dfg/b3dfg.c