Re: [Cocci] Checking the parsing for a specific SmPL disjunction

2020-06-25 Thread Julia Lawall
On Thu, 25 Jun 2020, Markus Elfring wrote: > >> @display@ > >> expression x, y; > >> @@ > >> *y = ... *(x) ... > > > > This is probably not what you think. It is an assignment of y to a > > multiplication followed by some other code (the second ...). > > I would interpret such a source code

Re: [Cocci] Checking the parsing for a specific SmPL disjunction

2020-06-25 Thread Julia Lawall
On Thu, 25 Jun 2020, Markus Elfring wrote: > Hello, > > I know that the following SmPL script example gets accepted > by the Coccinelle software. > > @display@ > expression x, y; > @@ > *y = ... *(x) ... This is probably not what you think. It is an assignment of y to a multiplication

[Cocci] Checking the parsing for a specific SmPL disjunction

2020-06-25 Thread Markus Elfring
Hello, I know that the following SmPL script example gets accepted by the Coccinelle software. @display@ expression x, y; @@ *y = ... *(x) ... I have tried another tiny script variant out for the semantic patch language (according to the software combination “Coccinelle