Member predicate VariableAccess :: isAddressOfAccessNonConst
Holds if this access is used to get the address of the underlying variable
in such a way that the address might escape as a pointer or reference to
non-const data. This can be either explicit, for example &x
, or
implicit, for example T& y = x
.
predicate
isAddressOfAccessNonConst
(
)