diff options
| author | Julia Lawall <julia@diku.dk> | 2009-10-17 08:41:47 +0200 |
|---|---|---|
| committer | Jeff Garzik <jgarzik@redhat.com> | 2009-11-03 14:26:12 -0500 |
| commit | a1104016ce8f7750ecd8ca6129786bc549aa5c38 (patch) | |
| tree | 362350c913218858952d4c09b18bd3cd59969958 /README | |
| parent | e65cc194f7628ecaa02462f22f42fb09b50dcd49 (diff) | |
drivers/ata/libata: Move dereference after NULL test
In each case, if the NULL test on qc is needed, then the derefernce
should be after the NULL test.
A simplified version of the semantic match that detects this problem is as
follows (http://coccinelle.lip6.fr/):
// <smpl>
@match exists@
expression x, E;
identifier fld;
@@
* x->fld
... when != \(x = E\|&x\)
* x == NULL
// </smpl>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Jeff Garzik <jgarzik@redhat.com>
Diffstat (limited to 'README')
0 files changed, 0 insertions, 0 deletions