* Re: [Cocci] [PATCH 1/2] parsing_c: Align C AST and Cocci AST for const pointer variants
@ 2020-02-08 8:30 Markus Elfring
2020-02-08 12:41 ` Jaskaran Singh
0 siblings, 1 reply; 4+ messages in thread
From: Markus Elfring @ 2020-02-08 8:30 UTC (permalink / raw)
To: Jaskaran Singh, cocci; +Cc: linux-kernel-mentees
> For a pointer, the C parser constructed an AST dissimilar from that
> of the Cocci AST. This caused failures in matching with certain
> pointer types. For example, for the following case:
>
> char *1 const *2 id;
>
> The C AST constructed would be:
> const Pointer1 -> Pointer2 -> char
>
> The Cocci AST constructed would be:
> Pointer2 -> const Pointer1 -> char
Which software development tools support to check such information?
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Cocci] [PATCH 1/2] parsing_c: Align C AST and Cocci AST for const pointer variants 2020-02-08 8:30 [Cocci] [PATCH 1/2] parsing_c: Align C AST and Cocci AST for const pointer variants Markus Elfring @ 2020-02-08 12:41 ` Jaskaran Singh 2020-02-08 12:56 ` [Cocci] Linux dev-tools: Handling complex types and attributes in Coccinelle Markus Elfring 2020-02-08 12:56 ` Markus Elfring 0 siblings, 2 replies; 4+ messages in thread From: Jaskaran Singh @ 2020-02-08 12:41 UTC (permalink / raw) To: Markus Elfring; +Cc: linux-kernel-mentees, cocci On Sat, 2020-02-08 at 09:30 +0100, Markus Elfring wrote: > > For a pointer, the C parser constructed an AST dissimilar from that > > of the Cocci AST. This caused failures in matching with certain > > pointer types. For example, for the following case: > > > > char *1 const *2 id; > > > > The C AST constructed would be: > > const Pointer1 -> Pointer2 -> char > > > > The Cocci AST constructed would be: > > Pointer2 -> const Pointer1 -> char > > Which software development tools support to check such information? > A little collection of scripts/tools I've written[1], and the invaluable OCaml debugger :) Cheers, Jaskaran. [1]http://github.com/jajajasalu2/cocci-type-test-suite > Regards, > Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Cocci] Linux dev-tools: Handling complex types and attributes in Coccinelle 2020-02-08 12:41 ` Jaskaran Singh @ 2020-02-08 12:56 ` Markus Elfring 2020-02-08 12:56 ` Markus Elfring 1 sibling, 0 replies; 4+ messages in thread From: Markus Elfring @ 2020-02-08 12:56 UTC (permalink / raw) To: Jaskaran Singh, cocci; +Cc: linux-kernel-mentees > A little collection of scripts/tools I've written[1], Thanks for your link on another bit of background information. https://github.com/jajajasalu2/cocci-type-test-suite Would you like to point any related information sources out? > and the invaluable OCaml debugger :) This development tool can help occasionally. I am curious if your contributions will influence also other known open issues for this software in positive ways. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 4+ messages in thread
* Re: [Cocci] Linux dev-tools: Handling complex types and attributes in Coccinelle 2020-02-08 12:41 ` Jaskaran Singh 2020-02-08 12:56 ` [Cocci] Linux dev-tools: Handling complex types and attributes in Coccinelle Markus Elfring @ 2020-02-08 12:56 ` Markus Elfring 1 sibling, 0 replies; 4+ messages in thread From: Markus Elfring @ 2020-02-08 12:56 UTC (permalink / raw) To: Jaskaran Singh, cocci; +Cc: linux-kernel-mentees > A little collection of scripts/tools I've written[1], Thanks for your link on another bit of background information. https://github.com/jajajasalu2/cocci-type-test-suite Would you like to point any related information sources out? > and the invaluable OCaml debugger :) This development tool can help occasionally. I am curious if your contributions will influence also other known open issues for this software in positive ways. Regards, Markus _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci ^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2020-02-08 12:56 UTC | newest] Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed) -- links below jump to the message on this page -- 2020-02-08 8:30 [Cocci] [PATCH 1/2] parsing_c: Align C AST and Cocci AST for const pointer variants Markus Elfring 2020-02-08 12:41 ` Jaskaran Singh 2020-02-08 12:56 ` [Cocci] Linux dev-tools: Handling complex types and attributes in Coccinelle Markus Elfring 2020-02-08 12:56 ` Markus Elfring
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox; as well as URLs for NNTP newsgroup(s).