On Wed, 14 Dec 2011, SF Markus Elfring wrote:

It is not a mistake on your part, but do ... while never got implemented for
SmPL code.

This control flow construct is mentioned by the grammar for semantic patch language. Do I really stumble on an open issue for the Coccinelle software here?

I'm a bit surprised, because the grammar was (manually) derived from the implementation, but maybe it was put there in hopes that it would be implemented soon.

But you can do things like:

identifier f != {printf, strcpy};

to ensure that f will not match printf or strcpy.

Thanks for your hint.

I find it still a challenge to choose which filter expressions I should eventually place in the SmPL rule declaration part or in the patch selection block.

Perhaps you could put it in the pattern matching part as well. It depends on what you are trying to do.

julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)

Reply via email to