Re: [PATCH v2 0/3] Coccinelle: misc: Improve the script for more accurate results

From	Julia Lawall <julia.lawall@lip6.fr>
Newsgroups	linux.kernel
Subject	Re: [PATCH v2 0/3] Coccinelle: misc: Improve the script for more accurate results
Date	2016-10-18 20:10 +0200
Message-ID	<stGZP-5pH-1@gated-at.bofh.it> (permalink)
References	<ssXgl-h3-1@gated-at.bofh.it> <stFAK-4gM-19@gated-at.bofh.it> <stFU5-4q4-11@gated-at.bofh.it> <stG3L-4JB-7@gated-at.bofh.it> <stGds-4O9-31@gated-at.bofh.it>
Organization	linux.* mail to news gateway

Show all headers | View raw


On Tue, 18 Oct 2016, Vaishali Thakkar wrote:

>
>
> On Tuesday 18 October 2016 10:31 PM, Julia Lawall wrote:
> >
> >
> > On Tue, 18 Oct 2016, Vaishali Thakkar wrote:
> >
> >>
> >>
> >> On Tuesday 18 October 2016 10:04 PM, Julia Lawall wrote:
> >>> I get the following in patch mode that I don't get in context mode:
> >>
> >> Hi,
> >>
> >> Are you getting same number of devm cases in your report for the context
> >> and patch mode? [except this case]
> >
> > The only devm case I get in context mode is:
> >
> > diff -u -p /var/linuxes/linux-next/drivers/acpi/evged.c
> > /tmp/nothing/drivers/ac\
> > pi/evged.c
> > --- /var/linuxes/linux-next/drivers/acpi/evged.c
> > +++ /tmp/nothing/drivers/acpi/evged.c
> > @@ -116,8 +116,6 @@ static acpi_status acpi_ged_request_inte
> >         if (r.flags & IORESOURCE_IRQ_SHAREABLE)
> >                 irqflags |= IRQF_SHARED;
> >
> > -       if (devm_request_threaded_irq(dev, irq, NULL, acpi_ged_irq_handler,
> > -                                     irqflags, "ACPI:Ged", event)) {
> >                 dev_err(dev, "failed to setup event handler for irq %u\n", irq);
> >                 return AE_ERROR;
> >         }
> >
> > This one has the property that the first argument is an identifier.  The
> > other cases seem to have a & expression.  There are around 20 of them.
>
> Although I got the issue with the patches, I am wondering why even context mode
> gave result for the identifiers even though they are not initialized? Does that
> mean it automatically assumes the type of meta variables even though they are not
> initialized? I think spatch gives warnings for such cases. But I am not sure about
> the coccicheck.

I think that there are a few cases where the names are the ones you chose.

julia


>
> > julia
> >
> >
> >
> >>
> >>
> >>> diff -u -p a/drivers/power/supply/tps65090-charger.c
> >>> b/drivers/power/supply/tps\
> >>> 65090-charger.c
> >>> --- a/drivers/power/supply/tps65090-charger.c
> >>> +++ b/drivers/power/supply/tps65090-charger.c
> >>> @@ -311,7 +311,8 @@ static int tps65090_charger_probe(struct
> >>>
> >>> 	if (irq != -ENXIO) {
> >>> 		ret = devm_request_threaded_irq(&pdev->dev, irq, NULL,
> >>> -                       tps65090_charger_isr, 0, "tps65090-charger", cdata);
> >>> +                       tps65090_charger_isr, IRQF_ONESHOT,
> >>> +                       "tps65090-charger", cdata);
> >>> 		if (ret) {
> >>>                         dev_err(cdata->dev,
> >>> 				"Unable to register irq %d err %d\n", irq,
> >>>
> >>>
> >>> julia
> >>>
> >>
> >> --
> >> Vaishali
> >>
>
> --
> Vaishali
>

Back to linux.kernel | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

[PATCH v2 0/3] Coccinelle: misc: Improve the script for more accurate results Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-16 19:20 +0200
  [PATCH v2 1/3] Coccinelle: misc: Improve the matching of rules Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-16 19:20 +0200
  [PATCH v2 2/3] Coccinelle: misc: Improve the result given by context mode Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-16 19:20 +0200
  [PATCH v2 3/3] Coccinelle: misc: Add support for devm variant in all modes Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-16 20:10 +0200
    Re: [PATCH v2 3/3] Coccinelle: misc: Add support for devm variant in  all modes Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-18 19:10 +0200
      Re: [PATCH v2 3/3] Coccinelle: misc: Add support for devm variant  in all modes Julia Lawall <julia.lawall@lip6.fr> - 2016-10-18 19:20 +0200
        Re: [PATCH v2 3/3] Coccinelle: misc: Add support for devm variant in  all modes Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-18 19:50 +0200
    Re: [PATCH v2 3/3] Coccinelle: misc: Add support for devm variant in  all modes Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-18 19:20 +0200
  Re: [PATCH v2 0/3] Coccinelle: misc: Improve the script for more  accurate results Julia Lawall <julia.lawall@lip6.fr> - 2016-10-18 18:40 +0200
    Re: [PATCH v2 0/3] Coccinelle: misc: Improve the script for more  accurate results Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-18 19:00 +0200
      Re: [PATCH v2 0/3] Coccinelle: misc: Improve the script for more  accurate results Julia Lawall <julia.lawall@lip6.fr> - 2016-10-18 19:10 +0200
        Re: [PATCH v2 0/3] Coccinelle: misc: Improve the script for more  accurate results Vaishali Thakkar <vaishali.thakkar@oracle.com> - 2016-10-18 19:20 +0200
          Re: [PATCH v2 0/3] Coccinelle: misc: Improve the script for more  accurate results Julia Lawall <julia.lawall@lip6.fr> - 2016-10-18 20:10 +0200

csiph-web