Author: Julia Lawall <julia@diku.dk> Test the just-allocated value for NULL rather than some other value. The semantic patch that makes this change is as follows: (http://coccinelle.lip6.fr/) // @r@ identifier f; @@ f(…) { } @@ expression *x; expression y; identifier r.f; statement S; @@ x = f(…); ( if ((x) == NULL) S | if …