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

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-25 Thread Shuah Khan
On 6/22/20 2:03 AM, Matthias Maennich wrote: On Thu, Jun 04, 2020 at 02:39:18PM -0600, Shuah Khan wrote: On 6/4/20 1:31 PM, Julia Lawall wrote: On Thu, 4 Jun 2020, Matthias Maennich wrote: When running `make coccicheck` in report mode using the add_namespace.cocci file, it will fail for

Re: [Cocci] [PATCH] scripts: add dummy report mode to add_namespace.cocci

2020-06-25 Thread Shuah Khan
On 6/22/20 9:06 AM, Greg Kroah-Hartman wrote: On Mon, Jun 22, 2020 at 08:46:18AM -0600, Shuah Khan wrote: On 6/22/20 2:03 AM, Matthias Maennich wrote: On Thu, Jun 04, 2020 at 02:39:18PM -0600, Shuah Khan wrote: On 6/4/20 1:31 PM, Julia Lawall wrote: On Thu, 4 Jun 2020, Matthias Maennich

[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