On Mon, 17 Sep 2012, Wei Yongjun wrote:
Hi all,I have the following cocci file, @@ expression pos, head, len, rem; identifier nla_ok, nla_next; iterator name nla_for_each_attr; statement S; @@ - for (pos = head, rem = len; nla_ok(pos, rem); pos = nla_next(pos, &rem)) + nla_for_each_attr(pos, head, len, rem) S But the error is output when using spatch, Fatal error: exception Failure("minus: parse error: = File "nla_for_each_attr.cocci", line 7, column 17, charpos = 130 around = ',', whole content = - for (pos = head, rem = len; nla_ok(pos, rem); pos = nla_next(pos, &rem)) ") It seems that spatch does not handle 'pos = head, rem = len' in the for expression. So, does spatch support this? or my cocci file is wrong?
Probably it is not supported. It looks like it should be easy to fix. I will take a look.
julia _______________________________________________ Cocci mailing list [email protected] http://lists.diku.dk/mailman/listinfo/cocci (Web access from inside DIKUs LAN only)
