> 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

Reply via email to