original_kernel/drivers/s390/block
Julia Lawall cf05b824db [S390] drivers/s390: put NULL test before dereference
If the NULL test on block is needed, it should be before the dereference of
the base field.

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

// <smpl>
@r@
expression E1,E2;
identifier fld;
statement S1,S2;
@@

E1 = E2->fld;
(
if (E1 == NULL) S1 else S2
|
*if (E2 == NULL) S1 else S2
)
// </smpl>

Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Martin Schwidefsky <schwidefsky@de.ibm.com>
2009-08-23 18:10:00 +02:00
..
Kconfig
Makefile
dasd.c [S390] drivers/s390: put NULL test before dereference 2009-08-23 18:10:00 +02:00
dasd_3990_erp.c
dasd_alias.c
dasd_devmap.c
dasd_diag.c
dasd_diag.h
dasd_eckd.c
dasd_eckd.h
dasd_eer.c
dasd_erp.c
dasd_fba.c
dasd_fba.h
dasd_genhd.c
dasd_int.h
dasd_ioctl.c headers: smp_lock.h redux 2009-07-12 12:22:34 -07:00
dasd_proc.c
dcssblk.c
xpram.c