Predicate IsModifiableAtImpl::isModifiableAt
Holds if t is a type with at least indirectionIndex number of
indirections, and the indirectionIndex indirection can be modified by
passing a value of type t to a function function.
Import path
import semmle.code.cpp.ir.dataflow.internal.SsaInternalsCommonpredicate isModifiableAt(CppType cppType, int indirectionIndex)