Re: [Cocci] [PATCH v6] coccicheck: Support search for SmPL scripts within selected directory hierarchy

2019-11-04 Thread Markus Elfring
> *Allow defining the environment variable “COCCI” as a directory to > search SmPL scripts. > > *Start a corresponding file determination if it contains an acceptable > path. > > *Update coccinelle.rst documents for use coccicheck with a directory > selection ‣ Do you really insist to use an

Re: [Cocci] Coccinelle: zalloc-simple: Checking data processing for a bigger SmPL disjunction

2019-11-04 Thread Markus Elfring
>> But I would like to add the last case distinction also to a similar >> disjunction in the known (and discussed) SmPL script version. > > What is "the known (and discussed) SmPL script version"? I am preparing further software updates. Fixes: dfd32cad146e3624970eee9329e99d2c6ef751b3

Re: [Cocci] Coccinelle: zalloc-simple: Checking data processing for a bigger SmPL disjunction

2019-11-04 Thread Julia Lawall
On Mon, 4 Nov 2019, Markus Elfring wrote: > Hello, > > I have tried the following small script variant out for > the semantic patch language. > > @adjustment@ > type T, T2; > expression x,E1,E2,E3,E4; > statement S; > @@ > ( > - x = kmalloc(E1,E2); > + x = kzalloc(E1,E2); > | > x =

[Cocci] Coccinelle: zalloc-simple: Checking data processing for a bigger SmPL disjunction

2019-11-04 Thread Markus Elfring
Hello, I have tried the following small script variant out for the semantic patch language. @adjustment@ type T, T2; expression x,E1,E2,E3,E4; statement S; @@ ( - x = kmalloc(E1,E2); + x = kzalloc(E1,E2); | x = (T)dma_alloc_coherent(E2,E1,E3,E4); ) if ((x==NULL) || ...) S -