Re: [Cocci] how to debug missing match?

2014-12-21 Thread Julia Lawall
On Sun, 21 Dec 2014, Wolfram Sang wrote: > > > does not result in anything although three drivers should match IMO with > > the same pattern as the pmu driver above. Both use > > platform_driver_register() and both have the .owner field set. > > > > drivers/macintosh/windfarm_pm112.c > > drivers

Re: [Cocci] how to debug missing match?

2014-12-21 Thread Julia Lawall
On Sun, 21 Dec 2014, Wolfram Sang wrote: > On Sun, Dec 21, 2014 at 11:39:14AM +0100, Julia Lawall wrote: > > On Sun, 21 Dec 2014, Wolfram Sang wrote: > > > > > > > > > does not result in anything although three drivers should match IMO with > > > > the same pattern as the pmu driver above. Bot

Re: [Cocci] how to debug missing match?

2014-12-21 Thread Wolfram Sang
On Sun, Dec 21, 2014 at 11:39:14AM +0100, Julia Lawall wrote: > On Sun, 21 Dec 2014, Wolfram Sang wrote: > > > > > > does not result in anything although three drivers should match IMO with > > > the same pattern as the pmu driver above. Both use > > > platform_driver_register() and both have the

Re: [Cocci] how to debug missing match?

2014-12-21 Thread Julia Lawall
On Sun, 21 Dec 2014, Wolfram Sang wrote: > > > does not result in anything although three drivers should match IMO with > > the same pattern as the pmu driver above. Both use > > platform_driver_register() and both have the .owner field set. > > > > drivers/macintosh/windfarm_pm112.c > > drivers

Re: [Cocci] how to debug missing match?

2014-12-21 Thread Wolfram Sang
> does not result in anything although three drivers should match IMO with > the same pattern as the pmu driver above. Both use > platform_driver_register() and both have the .owner field set. > > drivers/macintosh/windfarm_pm112.c > drivers/macintosh/windfarm_pm72.c > drivers/macintosh/windfarm_

[Cocci] how to debug missing match?

2014-12-21 Thread Wolfram Sang
Hi with linux kernel v3.18-rc1 and spatch version 1.0.0-rc22 with Python support and with PCRE support from Debian: ~/Kernel/linux$ spatch -D report --sp-file scripts/coccinelle/api/platform_no_drv_owner.cocci arch/arm/mach-exynos/*.c produces: arch/arm/mach-exynos/pmu.c:994:3-8: No need to se