Tag: a1104016ce8f7750ecd8ca6129786bc549aa5c38

drivers/ata/libata: Move dereference after NULL test

Author: Julia Lawall <julia@diku.dk> 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/): // @match exists@ expression x, E; identifier fld; @@ * x->fld … when != \(x = …

Continue reading