Member predicate SsaSourceVariable::mayHaveIndirectReferences
Holds if there may be indirect references of this variable that are not covered by getAReference()
.
This is the case for variables that have their address taken, and for variables whose name resolution information may be incomplete (for instance due to an extractor error).
predicate mayHaveIndirectReferences()