diff options
author | Julia Lawall <julia@diku.dk> | 2009-07-12 16:05:03 -0400 |
---|---|---|
committer | Karsten Keil <keil@b1-systems.de> | 2009-07-25 14:22:51 -0400 |
commit | 3cad3da3ed9ece03704f7d67e038b8ae710fa312 (patch) | |
tree | dc20a8b7272d027b889a8c3df6ca0963ded3d018 /scripts/Makefile.modinst | |
parent | a900845e56617edc005fd8f35bfd5a407aaf96c8 (diff) |
drivers/isdn: Drop unnecessary NULL test
The result of container_of should not be NULL. In particular, in this case
the argument to the enclosing function has passed though INIT_WORK, which
dereferences it, implying that its container cannot be NULL.
A simplified version of the semantic patch that makes this change is as
follows:
(http://www.emn.fr/x-info/coccinelle/)
// <smpl>
@@
identifier fn,work,x,fld;
type T;
expression E1,E2;
statement S;
@@
static fn(struct work_struct *work) {
... when != work = E1
x = container_of(work,T,fld)
... when != x = E2
- if (x == NULL) S
...
}
// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Karsten Keil <keil@b1-systems.de>
Diffstat (limited to 'scripts/Makefile.modinst')
0 files changed, 0 insertions, 0 deletions