arch/sparc/kernel: Eliminate what looks like a NULL pointer dereference
At the point of the test, action cannot be NULL, as it has been dereferenced in the code just above. A simplified version of the semantic match that finds this problem is as follows: (http://coccinelle.lip6.fr/) // <smpl> @r exists@ expression E,E1; identifier f; statement S1,S2,S3; @@ if ((E == NULL && ...) || ...) { ... when != if (...) S1 else S2 when != E = E1 * E->f ... when any } else S3 // </smpl> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: David S. Miller <davem@davemloft.net>
This commit is contained in:
parent
0fc251d9a6
commit
0d0659c78d
|
@ -183,7 +183,7 @@ void sun4d_free_irq(unsigned int irq, void *dev_id)
|
|||
goto out_unlock;
|
||||
}
|
||||
|
||||
if (action && tmp)
|
||||
if (tmp)
|
||||
tmp->next = action->next;
|
||||
else
|
||||
*actionp = action->next;
|
||||
|
|
Loading…
Reference in New Issue