original_kernel/arch/mn10300
Julia Lawall 6e0c64f4dd 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>
2010-08-23 11:41:24 -07:00
..
boot MN10300: Don't try and #include <linux/slab.h> in lib/inflate.c from bootloader 2010-08-12 09:51:35 -07:00
configs defconfig reduction 2010-08-14 22:26:53 +02:00
include/asm MN10300: Use no_printk() for disabled gdbstub debugging functions 2010-08-12 09:51:35 -07:00
kernel Make do_execve() take a const filename pointer 2010-08-17 18:07:43 -07:00
lib
mm arch/mn10300/mm: eliminate NULL dereference 2010-08-23 11:41:24 -07:00
oprofile
proc-mn103e010
unit-asb2303
unit-asb2305
Kconfig
Kconfig.debug
Makefile