Re: [Cocci] [PATCH 1/2] scripts: coccicheck: Change default value for parallelism

2020-09-27 Thread Julia Lawall
On Thu, 24 Sep 2020, Sumera Priyadarsini wrote: > By default, coccicheck utilizes all available threads to implement > parallelisation. However, when all available threads are used, > a decrease in performance is noted. The elapsed time is minimum > when at most one thread per core is used. >

Re: [Cocci] [PATCH 2/2] Documentation: Coccinelle: Modify parallelisation information in docs

2020-09-27 Thread Julia Lawall
On Thu, 24 Sep 2020, Sumera Priyadarsini wrote: > This patchset modifies coccicheck to use at most one thread per core by > default for optimal performance. Modify documentation in coccinelle.rst > to reflect the same. It would be good for the documentation to mention that this only occurs if

Re: [Cocci] coccinelle: Convert comma to semicolons (was Re: [PATCH] checkpatch: Add test for comma use that should be semicolon)

2020-09-27 Thread Julia Lawall
On Sun, 27 Sep 2020, Joe Perches wrote: > On Sun, 2020-09-27 at 19:08 +0200, Julia Lawall wrote: > > I end up with 208 patches. I'm not sure that sending them all at once > > would be a good idea... > > Last I looked the diffstat for comma -> semicolon was: > > 234 files changed, 509

Re: [Cocci] coccinelle: Convert comma to semicolons (was Re: [PATCH] checkpatch: Add test for comma use that should be semicolon)

2020-09-27 Thread Joe Perches
On Sun, 2020-09-27 at 19:08 +0200, Julia Lawall wrote: > I end up with 208 patches. I'm not sure that sending them all at once > would be a good idea... Last I looked the diffstat for comma -> semicolon was: 234 files changed, 509 insertions(+), 509 deletions(-) So it would be nearly 1 patch

Re: [Cocci] coccinelle: Convert comma to semicolons (was Re: [PATCH] checkpatch: Add test for comma use that should be semicolon)

2020-09-27 Thread Julia Lawall
I end up with 208 patches. I'm not sure that sending them all at once would be a good idea... julia ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Explanation for kinds of SmPL rules

2020-09-27 Thread Julia Lawall
On Sun, 27 Sep 2020, Markus Elfring wrote: > Hello, > > The manual for the semantic patch language mentions the grammar item > “rulekind”. > https://github.com/coccinelle/coccinelle/blob/730dbb034559b3e549ec0b2973cd0400a3fa072f/docs/manual/cocci_syntax.tex#L116 > > I would appreciate further

[Cocci] Explanation for kinds of SmPL rules

2020-09-27 Thread Markus Elfring
Hello, The manual for the semantic patch language mentions the grammar item “rulekind”. https://github.com/coccinelle/coccinelle/blob/730dbb034559b3e549ec0b2973cd0400a3fa072f/docs/manual/cocci_syntax.tex#L116 I would appreciate further information for the safe application of such a technical