Hi, I have met many problems when I try to use the clause of "when". For example, I want to check whether there is an default statement in switch, I wrote the Semantic Patch as following: @rule@function F;position p;expression E, E1;statement S, S1;@@F@p (...){switch (E) {...when != default: S}} @script: python@p<<rule.p;@@print p[0].file, p[0].line and I got the result after running it: Fatal error: exception Failure("minus: parse error: = File "ex7.cocci", line 9, column 0, charpos = 93 around = '...', whole content = ...when != default: S") Also, another example can be witnessed here. I wrote another patch to check whether there is an "else" after "if" statement: @rule534@function F;position p;statement S1, S2;@@F@p (...){if (...) S1...when != else S2} But i also got the same "minus: parse error" at the line of when. I would be so appreciated if someone could give me some suggestions about what is wrong in my Patch and how to use when correctly. Thank you so much! Best regards,Yuan
_______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci