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
