* Re: [Cocci] Software documentation for “subE”?
@ 2020-06-04 8:43 Markus Elfring
0 siblings, 0 replies; only message in thread
From: Markus Elfring @ 2020-06-04 8:43 UTC (permalink / raw)
To: Julia Lawall; +Cc: cocci, Denis Efremov
> subE is a expressionof whatever expression was previously matched to E in
> the rule ifm. <= can only be used when the metavariable on the right side
> is inherited from another rule.
Under which circumstances will a clearer explanation appear also for
software documentation formats besides a test case for the semantic patch language
according to the item “subE”?
https://github.com/coccinelle/coccinelle/blob/175de16bc7e535b6a89a62b81a673b0d0cd7075c/tests/bad_kfree.cocci#L1
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-06-04 8:43 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-06-04 8:43 [Cocci] Software documentation for “subE”? 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).