> > … But I wonder if the difference
> > between "the file is not in the initial list" and "the file is in the
> > initial list but it is ignored" is important for you?
>
> "the file is in the initial list but it is ignored" is ok to me. I don't know
> how to get it.

Which information are you really missing so far for your data processing?


> The problem is that I need to know that the "mm/util.c" file is in the scope.

Why does this source file matter for you here?


> We know that a pattern should match a function in the "mm/util.c" file
> and report only in case it doesn't.

Do you check a system property here?


>                                     We don't need to report if the tool
> is not processing the file "mm/util.c" at all. That is why we need the full
> list of files.

I suggest to reconsider your expectations.
Will solution alternatives become interesting?

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

Reply via email to