diff options
Diffstat (limited to 'lib/Analysis/BasicAliasAnalysis.cpp')
| -rw-r--r-- | lib/Analysis/BasicAliasAnalysis.cpp | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/lib/Analysis/BasicAliasAnalysis.cpp b/lib/Analysis/BasicAliasAnalysis.cpp index d986adec01..89b5d5c3cb 100644 --- a/lib/Analysis/BasicAliasAnalysis.cpp +++ b/lib/Analysis/BasicAliasAnalysis.cpp @@ -338,9 +338,11 @@ BasicAliasAnalysis::alias(const Value *V1, unsigned V1Size, return NoAlias; // Otherwise, nothing is known... + } else if (O1 != O2) { if (!isa<Argument>(O1)) - // If they are two different objects, we know that we have no alias... + // If they are two different objects, and neither is an argument, + // we know that we have no alias... return NoAlias; } |