[Cocci] [PATCH v3] bundles/pycaml/: use .NOTPARALLEL on bundles

2016-06-20 Thread Luis R. Rodriguez
We need to disable parallel builds on the preparation of bundles. This fixes parallel compilation when using 32 threads on a 32-core system and on an 8 core system: The error: make[6]: Entering directory '/home/mcgrof/coccinelle/bundles/pycaml' /usr/bin/ocamlopt.opt -I chemoelectric-pycaml-861410

[Cocci] [PATCH v2 1/3] docs/demos: add a few ++ documentation and demos

2016-06-20 Thread Luis R. Rodriguez
This perhaps is not the best demo for use of ++ but it should suffice. This adds some basic documentation for it and a demo. Signed-off-by: Luis R. Rodriguez --- demos/plusplus1.c| 4 ++ demos/plusplus1.cocci| 17 demos/plusplus1.res | 5 +++ demos/plusplu

[Cocci] [PATCH v2 2/3] docs/manual/cocci_syntax.tex: extend with python iteration

2016-06-20 Thread Luis R. Rodriguez
Signed-off-by: Luis R. Rodriguez --- docs/manual/cocci_syntax.tex | 51 ++-- 1 file changed, 40 insertions(+), 11 deletions(-) diff --git a/docs/manual/cocci_syntax.tex b/docs/manual/cocci_syntax.tex index 49602ef1d732..5adfc95b0ce1 100644 --- a/docs/manua

[Cocci] [PATCH v2 0/3] coccinelle: expand docs

2016-06-20 Thread Luis R. Rodriguez
This v2 modifies the ++ demo and documentation to something a bit more safe for its use, and while at it decided to extend the iteration documentation and document support for .cocciconfig. Luis R. Rodriguez (3): docs/demos: add a few ++ documentation and demos docs/manual/cocci_syntax.tex: ex

[Cocci] [PATCH v2 3/3] docs: document .cocciconfig

2016-06-20 Thread Luis R. Rodriguez
Add documentation and example to manual and man page. Signed-off-by: Luis R. Rodriguez --- docs/manual/cocci_syntax.tex | 23 +++ docs/spatch.1.in | 32 +++- 2 files changed, 54 insertions(+), 1 deletion(-) diff --git a/docs/manual/coc

Re: [Cocci] [PATCH v2 1/3] coccinelle: also catch kzfree() issues

2016-06-20 Thread Julia Lawall
On Mon, 20 Jun 2016, Michal Marek wrote: > On 2016-05-23 17:18, Julia Lawall wrote: > > > > > > On Mon, 23 May 2016, Yann Droneaud wrote: > > > >> Since commit 3ef0e5ba4673 ('slab: introduce kzfree()'), > >> kfree() is no more the only function to be considered: > >> kzfree() should be recogn

Re: [Cocci] [PATCH v2 4/8] scripts: add glimpse.sh for indexing the kernel

2016-06-20 Thread Luis R. Rodriguez
On Sat, Jun 18, 2016 at 07:51:55AM +0200, Julia Lawall wrote: > > > On Sat, 18 Jun 2016, Luis R. Rodriguez wrote: > > > On Fri, Jun 17, 2016 at 05:35:26PM +0200, Julia Lawall wrote: > > > On Fri, 17 Jun 2016, Luis R. Rodriguez wrote: > > > > > > > On Fri, Jun 17, 2016 at 11:44:26AM +0200, Julia

Re: [Cocci] [PATCH v3] Coccinelle: noderef: Add new rules and correct the old rule

2016-06-20 Thread Michal Marek
On 2016-05-24 10:39, Julia Lawall wrote: > Acked-by: Julia Lawall > > On Tue, 24 May 2016, Vaishali Thakkar wrote: > >> Add new rules to detect the cases where sizeof is used in >> function calls as a argument. >> >> Also, for the patch mode third rule should behave same as >> second rule with a

Re: [Cocci] [PATCH v2 1/3] coccinelle: also catch kzfree() issues

2016-06-20 Thread Michal Marek
On 2016-05-23 17:18, Julia Lawall wrote: > > > On Mon, 23 May 2016, Yann Droneaud wrote: > >> Since commit 3ef0e5ba4673 ('slab: introduce kzfree()'), >> kfree() is no more the only function to be considered: >> kzfree() should be recognized too. >> >> In particular, kzfree() must not be called o