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