Re: [Cocci] [v3 05/10] mmap locking API: convert mmap_sem call sites missed by coccinelle

2020-03-29 Thread Michel Lespinasse
On Sat, Mar 28, 2020 at 1:39 AM Markus Elfring wrote: > > I would be interested to find out why coccinelle wasn't able to do the > > last 1%, but only as part of a long-term learning process on getting > > better with coccinelle - … > > How will corresponding software development resources

Re: [Cocci] [PATCH v3 05/10] mmap locking API: convert mmap_sem call sites missed by coccinelle

2020-03-29 Thread Michel Lespinasse
Hi Markus, On Sat, Mar 28, 2020 at 12:37 AM Markus Elfring wrote: > > Convert the last few remaining mmap_sem rwsem calls to use the new > > mmap locking API. These were missed by coccinelle for some reason > > Will the clarification of this software situation become more interesting? > > > (I

Re: [Cocci] [v2 04/10] mmap locking API: use coccinelle to convert mmap_sem rwsem call sites

2020-03-27 Thread Michel Lespinasse
On Fri, Mar 27, 2020 at 1:00 AM Markus Elfring wrote: > > >>> The change is generated using coccinelle with the following rules: > >> > >> Would you like to apply only a single SmPL rule here? > > > > I think this version of the patch is already a single rule, > > similar to what you suggested ?

Re: [Cocci] [PATCH v2 04/10] mmap locking API: use coccinelle to convert mmap_sem rwsem call sites

2020-03-27 Thread Michel Lespinasse
On Fri, Mar 27, 2020 at 12:22 AM Markus Elfring wrote: > > > This change converts the existing mmap_sem rwsem calls to use the new > > mmap locking API instead. > > > > The change is generated using coccinelle with the following rules: > > Would you like to apply only a single SmPL rule here? I