commit 6e0c64f4ddf4a76a04108c1e24132d5d7dea8872
author Julia Lawall <julia@diku.dk> Mon Aug 23 14:31:34 2010 +0100
committer Linus Torvalds <torvalds@linux-foundation.org> Mon Aug 23 11:41:24 2010 -0700
tree 581e5a5bf54f854be60ba1c69fd400589c307bcb
parent dc4c26bfedcdd2b52231864c130bee2388e0eae4

arch/mn10300/mm: eliminate NULL dereference

dev_name always dereferences its argument, so it should not be called if
the argument is NULL.  The function indeed later tests the argument for
being NULL.

The semantic match that finds this problem is as follows:
(http://coccinelle.lip6.fr/)

  // <smpl>
  @@
  expression dev,E;
  @@

  *dev_name(dev)
  ... when != dev = E
  (
  *dev == NULL
  |
  *dev != NULL
  )
  // </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: David Howells <dhowells@redhat.com>
Signed-off-by: Linus Torvalds <torvalds@linux-foundation.org>