> 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