Re: [Cocci] Software analysis around data type annotations

2020-06-17 Thread Markus Elfring
>> I am going to present similar questions occasionally. > > Please stop. I hope that I can continue as usual for while according to a desire to achieve further improvements. > The chance that people will help you will increase. This would be nice. > No one is interested in quantifying

Re: [Cocci] Software analysis around data type annotations

2020-06-17 Thread Julia Lawall
On Wed, 17 Jun 2020, Markus Elfring wrote: > > *void * __iomem action(...) > > {...} > > > > It's not quite in line with the what-you-see-is-what-you-get principle, > > but it'll work for your use case. > > Usable output is produced after the adjusted position for the macro. > >

Re: [Cocci] Software analysis around data type annotations

2020-06-17 Thread Markus Elfring
> *void * __iomem action(...) > {...} > > It's not quite in line with the what-you-see-is-what-you-get principle, > but it'll work for your use case. Usable output is produced after the adjusted position for the macro. elfring@Sonne:~/Projekte/Linux/next-patched> spatch

Re: [Cocci] Software analysis around data type annotations

2020-06-17 Thread Jaskaran Singh
On Wed, 2020-06-17 at 09:30 +0200, Markus Elfring wrote: > > I'm away from my computer right now so can't test this, but try > > declaring __iomem as an attribute: > > @display@ > attribute name __iomem; > identifier action; > @@ > *void __iomem * action(...) > { ... } > > >

Re: [Cocci] Software analysis around data type annotations

2020-06-17 Thread Markus Elfring
> I'm away from my computer right now so can't test this, but try declaring > __iomem as an attribute: @display@ attribute name __iomem; identifier action; @@ *void __iomem * action(...) { ... } elfring@Sonne:~/Projekte/Coccinelle/janitor> spatch --parse-cocci show_iomem_functions2.cocci …

Re: [Cocci] Software analysis around data type annotations

2020-06-16 Thread Jaskaran Singh
Hi Markus, I'm away from my computer right now so can't test this, but try declaring __iomem as an attribute: @display@ identifier action; attribute name __iomem; @@ On Tue, 16 Jun 2020, 10:21 p.m. Markus Elfring Hello, > > The support for data processing with attributes was extended

[Cocci] Software analysis around data type annotations

2020-06-16 Thread Markus Elfring
Hello, The support for data processing with attributes was extended recently. https://github.com/coccinelle/coccinelle/commits?q=committer-date%3A%3C2020-06-16 Under which circumstances will a source code analysis approach become supported by a script (like the following) for the semantic patch