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).