On Mon, 27 Jan 2014, 林嘉(程二 福州) wrote: > In SMPL, 'When != something' means 'something' doesn’t exist ?
Yes, within the execution path(s) matched by ... julia > > > > -----邮件原件----- > 发件人: 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
