Tag: 60e5c1b5ecd99e06d3133a2a20d58d3c2b9968ac

ARM: S3C24XX: arch/arm/plat-s3c24xx: Move dereference after NULL test

Author: Julia Lawall <julia@diku.dk> If the NULL test on buf is needed, then the dereference 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 = E\|&x\) * x …

Continue reading