Re: [Cocci] [2/2] tests: Add test case to match const pointer variants

2020-02-06 Thread Markus Elfring
>> * Should the potential for differences in these “AST” be checked any more?
>
> An effort is already being made to do this by me and Julia :)

I am curious how this collaboration will evolve further.


>> * How can such items be compared safely?
>
> Not sure what you mean. If you mean how the two ASTs can be compared,
> it's just a process of data collection and debugging.

Which programming interfaces do you use for this purpose at the moment?

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] [2/2] tests: Add test case to match const pointer variants

2020-02-06 Thread Jaskaran Singh
On Fri, 2020-02-07 at 07:07 +0100, Markus Elfring wrote:
> > Would the following be a better subject?
> 
> The alternative is nicer.
> 
> 
> Will other implementation details become also more interesting?
> 
> The information “Align C AST and Cocci AST” was provided.
> https://lore.kernel.org/cocci/20200205130327.6812-2-jaskaransingh7654...@gmail.com/
> https://systeme.lip6.fr/pipermail/cocci/2020-February/006840.html
> 
> * Should the potential for differences in these “AST” be checked any
> more?
> 

An effort is already being made to do this by me and Julia :)

> * How can such items be compared safely?
> 

Not sure what you mean. If you mean how the two ASTs can be compared,
it's just a process of data collection and debugging.

Cheers,
Jaskaran.

> 
> Is there a need to extend the test format?
> https://github.com/coccinelle/coccinelle/issues/134
> 
> Regards,
> Markus

___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] [2/2] tests: Add test case to match const pointer variants

2020-02-06 Thread Markus Elfring
> Would the following be a better subject?

The alternative is nicer.


Will other implementation details become also more interesting?

The information “Align C AST and Cocci AST” was provided.
https://lore.kernel.org/cocci/20200205130327.6812-2-jaskaransingh7654...@gmail.com/
https://systeme.lip6.fr/pipermail/cocci/2020-February/006840.html

* Should the potential for differences in these “AST” be checked any more?

* How can such items be compared safely?


Is there a need to extend the test format?
https://github.com/coccinelle/coccinelle/issues/134

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci


Re: [Cocci] [2/2] tests: Add test case to match const pointer variants

2020-02-06 Thread Markus Elfring
> Would the following be a better subject?

I find the alternative succinct.

Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci