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