Predicate mustlockCall
Holds if call is a call that always locks its argument arg.
Import path
import cpppredicate mustlockCall(Expr arg, FunctionCall call)Holds if call is a call that always locks its argument arg.
import cpppredicate mustlockCall(Expr arg, FunctionCall call)