@script:python collection1 depends on !(is_void_declared || is_void_defined)@
typ << function_declaration.t;
fun << function_declaration.f;
places << function_declaration.p;
@@
[...]
@script:python collection2 depends on !(is_void_declared || is_void_defined)@
typ << function_definition.t;
fun << function_definition.f;
places << function_definition.p;
@@
Would you like to give any further advices for my difficulty with an usable
name selection for the metavariables in the script rules of this test case?
I'm not sure what the problem is.
I find it an open issue that I can only specify the assignment from a single
source for the shown SmPL metavariables so far. I imagine that I need references
to both use cases "declaration" and "definition" here.
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)