Author: Julia Lawall <julia@diku.dk> At the point where cmnd is initialized, it is tested for NULL, so it doesn’t have to be tested again here. 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 …