Re: [Cocci] More precise distinction of types for source code searches?

2019-06-25 Thread Markus Elfring
> @@ > expression x; > constant c1,c2; > @@ > > x = c1; > ( > x = c1; > | > *x = c2; > ) Thanks for your suggestion of the possible usage of a SmPL disjunction. * Does it indicate a search attempt to match the first assignment statement twice (for the implementation of exclusion of duplicate

Re: [Cocci] More precise distinction of types for source code searches?

2019-06-25 Thread Julia Lawall
On Tue, 25 Jun 2019, Markus Elfring wrote: > > The expected difference can trigger the need to express this detail > > by the usage of two identifiers based on the same metavariable type. > > I guess that this wording should be clarified a bit more according to > the current software

Re: [Cocci] More precise distinction of types for source code searches?

2019-06-25 Thread Markus Elfring
> The expected difference can trigger the need to express this detail > by the usage of two identifiers based on the same metavariable type. I guess that this wording should be clarified a bit more according to the current software development status around the semantic patch language. A