I don't know what "here" refers to. I have the impression that you have solved
the problem by duplicating the python rule.
I have noticed that I get an analysis result if I try out rules like the
following.
@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;
@@
I am just not really sure that this approach covers all cases.
What will happen for example if a function was implemented with the return type
"void" while it was not not declared as such before?
Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
