Predicate IsModifiableAtImpl::isModifiableByCall
Holds if the value pointed to by operand can potentially be
modified be the caller.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommonpredicate isModifiableByCall(ArgumentOperand operand, int indirectionIndex)