Remove support for the MultiObject flag, which was fundamentally broken
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@6840 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/DataStructure/DataStructureAA.cpp b/lib/Analysis/DataStructure/DataStructureAA.cpp
index d7c40c6..3c89e6d 100644
--- a/lib/Analysis/DataStructure/DataStructureAA.cpp
+++ b/lib/Analysis/DataStructure/DataStructureAA.cpp
@@ -96,8 +96,8 @@
// 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 && !N1->isMultiObject())
- return MustAlias; // Exactly the same object & offset
+ //if (O1 == O2 && !N1->isMultiObject())
+ // return MustAlias; // Exactly the same object & offset
// See if they point to different offsets... if so, we may be able to
// determine that they do not alias...