Re: [Cocci] Improvements for building the Coccinelle software

On Tue, May 24, SF Markus Elfring wrote: > > > There is now a pullrq to fix a bug in configure.ac, > > I am curious when the script "setup/cocci.m4" will be updated. > https://github.com/coccinelle/coccinelle/pull/70 When a new release is cut the release manager runs autogen.sh. In an ideal

Re: [Cocci] Improvements for building the Coccinelle software

> There is now a pullrq to fix a bug in configure.ac, I am curious when the script "setup/cocci.m4" will be updated. https://github.com/coccinelle/coccinelle/pull/70 Would you like to improve the involved build scripts any more? https://github.com/coccinelle/coccinelle/issues/42 > and also a

Re: [Cocci] github update

On 23.05.2016 23:49, Luis R. Rodriguez wrote: On Mon, May 23, 2016 at 11:44:10PM +0200, Julia Lawall wrote: OK, thanks. It looks like the relese notes for Coccinelle will have to discourage the use of 4.03... FWIW I was on ocaml-4.02 though. I'm now upgrading my system. There is now a

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

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 arguments reversed. So, change