On Thu, 29 Dec 2011, Artem Bityutskiy wrote:
On Thu, 2011-12-29 at 15:02 +0100, Julia Lawall wrote:
Ok, thanks, good to know. "... when exists" does solve the issue.
However, I want to also have the "!= retlen" constraint, and coccinelle
does not seem to combine both "exists" and "!= retlen".
You could have it. You just need a separate when for each thing:
... when exists
when != retlen
Would you mind to give me a hint/pointer how could I find this out
of the "The SmPL Grammar (version 0.1.4) document? I tried to find
some kind of recursion here:
http://www.emn.fr/z-info/coccinelle/docs/main_grammar004.html
but could failed.
Indeed, it looks like the rule
OPTDOTSEQ(grammar_ds, when_ds) ::=
[... [when_ds]] grammar_ds (... [when_ds] grammar_ds) * [... [when_ds]]
is incorrect. All of the occurrences of [when_ds] should be (when_ds)*
I'll fix it. Thanks.
julia
_______________________________________________
Cocci mailing list
[email protected]
http://lists.diku.dk/mailman/listinfo/cocci
(Web access from inside DIKUs LAN only)
