> The code is not intended to be run.

I guess that a duplicate function name can result in unwanted data
from the analysis for a source file like "demos/conjunction.c", can't it?

Regards,
Markus
_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci

Reply via email to