Re: [Cocci] git-coccinelle: adjustments for array.cocci?

2019-11-15 Thread Markus Elfring
>> https://github.com/git/git/blob/3edfcc65fdfc708c1c8f1d314885eecf9beb9b67/fast-import.c#L640 >> >> I got the impression that the Coccinelle software is occasionally able >> to determine from the search specification “sizeof(T)” the corresponding >> data type for code like “*(t->entries)”. > > It

Re: [Cocci] git-coccinelle: adjustments for array.cocci?

2019-11-15 Thread Julia Lawall
On Fri, 15 Nov 2019, Markus Elfring wrote: > > --- array-released.diff 2019-11-14 21:29:11.020576916 +0100 > > +++ array-reduced1.diff 2019-11-14 21:45:58.931956527 +0100 > > @@ -6,24 +6,10 @@ > > r->entry_count = t->entry_count; > > r->delta_depth = t->delta_depth; > > -

Re: [Cocci] git-coccinelle: adjustments for array.cocci?

2019-11-15 Thread Markus Elfring
> --- array-released.diff 2019-11-14 21:29:11.020576916 +0100 > +++ array-reduced1.diff 2019-11-14 21:45:58.931956527 +0100 > @@ -6,24 +6,10 @@ > r->entry_count = t->entry_count; > r->delta_depth = t->delta_depth; > -

Re: [Cocci] git-coccinelle: adjustments for array.cocci?

2019-11-15 Thread Markus Elfring
> --- array-released.diff 2019-11-14 21:29:11.020576916 +0100 > +++ array-reduced1.diff 2019-11-14 21:45:58.931956527 +0100 > @@ -6,24 +6,10 @@ > r->entry_count = t->entry_count; > r->delta_depth = t->delta_depth; > -

Re: [Cocci] git-coccinelle: adjustments for array.cocci?

2019-11-15 Thread Markus Elfring
> Anyway, someone who can reproduce the issue using the latest release > of Coccinelle would be in a better position to file a bug report. Hello, I repeated the discussed source code transformation approach together with the software combination “Coccinelle 1.0.8-4-g842075f7” (OCaml 4.09).