On Fri, 30 Oct 2015, SF Markus Elfring wrote:

> > 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?

No idea what you mean by that.  demos/conjunction.c is only intended for
use with demos/conjunction.cocci, which doesn't care at all about the name
of the containing function.

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

Reply via email to