[Cocci] how to write such matching case?

[程二 福州]

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(....);
       ...
}
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci