if (N1 != N2)
return NoAlias; // Completely different nodes.
+#if 0 // This does not correctly handle arrays!
// Both point to the same node and same offset, and there is only one
// physical memory object represented in the node, return must alias.
//
if (O1 == O2 && isSinglePhysicalObject(N1))
return MustAlias; // Exactly the same object & offset
+#endif
// See if they point to different offsets... if so, we may be able to
// determine that they do not alias...
/// specified vector.
///
void DSAA::getMustAliases(Value *P, std::vector<Value*> &RetVals) {
+#if 0 // This does not correctly handle arrays!
// Currently the only must alias information we can provide is to say that
// something is equal to a global value. If we already have a global value,
// don't get worked up about it.
RetVals.push_back(N->getGlobals()[0]);
}
}
-
+#endif
return getAnalysis<AliasAnalysis>().getMustAliases(P, RetVals);
}