In SMPL, 'When != something' means 'something' doesn’t exist ?
-----邮件原件----- 发件人: Julia Lawall [mailto:[email protected]] 发送时间: 2014年1月26日 19:19 收件人: 林嘉(程二 福州) 抄送: [email protected] 主题: Re: [Cocci] how to write such matching case? On Sun, 26 Jan 2014, 林嘉(程二 福州) wrote: > In my project, it's required that if function A is called, and function B > must be called following, just like this > > Foo(...) > { > If ... { > A(....); > ... > B(....); > } > } > > Or > > Foo1(...) > { > A(....); > B(...); > } > > > How to write a patch to find the missing case? Such as > > Foo(...) > { > If ... { > A(....); > ... > } > } > > Or > > Foo1(...) > { > A(....); > ... > } A(...) ... When != B(...) julia _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
