tree 84a2faad185d03646999895ed4d074c7ada03fd7
parent d3bf3956c75b38def079fb6db40b5cf3f1466a93
author Julia Lawall <julia@diku.dk> 1255761769 +0200
committer Ben Dooks <ben-linux@fluff.org> 1256754357 +0000

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

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/):

// <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: Ben Dooks <ben-linux@fluff.org>