On Thu, 27 May 2010, Dmitry Torokhov wrote: > On Thursday 27 May 2010 05:37:00 am Julia Lawall wrote: > > From: Julia Lawall <julia@xxxxxxx> > > > > Give different error messages if device_enum is NULL or if its type field > > has the wrong value. > > > > A simplified version of the semantic match that finds this problem is as > > follows: (http://coccinelle.lip6.fr/) > > > > // <smpl> > > @r exists@ > > expression E,E1; > > identifier f; > > statement S1,S2,S3; > > @@ > > > > if ((E == NULL && ...) || ...) > > { > > ... when != if (...) S1 else S2 > > when != E = E1 > > * E->f > > ... when any > > return ...; > > } > > else S3 > > // </smpl> > > > > Signed-off-by: Julia Lawall <julia@xxxxxxx> > > > > --- > > This may be too much clutter for little benefit. Other, perhaps less > > informative solutions are possible. > > Verbosity should be OK but I think that mixing pr_xxx() and naked printks > in the same patch is not very nice. Oops, sorry about that. I will change it. julia > > drivers/platform/x86/sony-laptop.c | 8 ++++++-- > > 1 file changed, 6 insertions(+), 2 deletions(-) > > > > diff --git a/drivers/platform/x86/sony-laptop.c > > b/drivers/platform/x86/sony-laptop.c index 1387c5f..9db8d2b 100644 > > --- a/drivers/platform/x86/sony-laptop.c > > +++ b/drivers/platform/x86/sony-laptop.c > > @@ -1196,8 +1196,12 @@ static void sony_nc_rfkill_setup(struct acpi_device > > *device) } > > > > device_enum = (union acpi_object *) buffer.pointer; > > - if (!device_enum || device_enum->type != ACPI_TYPE_BUFFER) { > > - printk(KERN_ERR "Invalid SN06 return object 0x%.2x\n", > > + if (!device_enum) { > > + pr_err("Invalid SN06 return object\n"); > > + goto out_no_enum; > > + } > > + if (device_enum->type != ACPI_TYPE_BUFFER) { > > + printk(KERN_ERR "Invalid SN06 return object type 0x%.2x\n", > > device_enum->type); > > goto out_no_enum; > > } > > Thanks. > > -- > Dmitry > -- To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html