Fix for PR1741.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@43326 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp
index 0181021..d986ade 100644
--- a/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/lib/Analysis/BasicAliasAnalysis.cpp
@@ -339,8 +339,9 @@
// Otherwise, nothing is known...
} else if (O1 != O2) {
- // If they are two different objects, we know that we have no alias...
- return NoAlias;
+ if (!isa<Argument>(O1))
+ // If they are two different objects, we know that we have no alias...
+ return NoAlias;
}
// If they are the same object, they we can look at the indexes. If they