From: Julia Lawall <julia@xxxxxxx> If data is NULL, it is not possible to access data->ret. The problem was detected using the following semantic match (http://www.emn.fr/x-info/coccinelle/) // <smpl> @@ expression E, E1; identifier f; statement S1,S2,S3; @@ * if (E == NULL) { ... when != if (E == NULL) S1 else S2 when != E = E1 * E->f ... when any return ...; } else S3 // </smpl> Signed-off-by: Julia Lawall <julia@xxxxxxx> --- diff -u -p a/arch/ia64/kernel/palinfo.c b/arch/ia64/kernel/palinfo.c --- a/arch/ia64/kernel/palinfo.c 2008-05-09 16:46:57.000000000 +0200 +++ b/arch/ia64/kernel/palinfo.c 2008-05-12 08:43:35.000000000 +0200 @@ -902,7 +902,6 @@ palinfo_smp_call(void *info) palinfo_smp_data_t *data = (palinfo_smp_data_t *)info; if (data == NULL) { printk(KERN_ERR "palinfo: data pointer is NULL\n"); - data->ret = 0; /* no output */ return; } /* does this actual call */ -- To unsubscribe from this list: send the line "unsubscribe linux-ia64" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html
![]() |