Predicate unlockCall
Holds if call is a call that unlocks its argument arg.
Import path
import semmle.code.cpp.commons.Synchronizationpredicate unlockCall(Expr arg, FunctionCall call)Holds if call is a call that unlocks its argument arg.
import semmle.code.cpp.commons.Synchronizationpredicate unlockCall(Expr arg, FunctionCall call)