From: Nuno Lopes <nunoplopes@sapo.pt>
Date: Thu, 9 Nov 2017 17:35:36 +0000 (+0000)
Subject: revert r317812 [BasicAA] fix build break by converting the previously introduced... 
X-Git-Tag: llvmorg-6.0.0-rc1~3769
X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=2ee4b30276044f999a29101a2ddfcaca6b41d81c;p=platform%2Fupstream%2Fllvm.git

revert r317812 [BasicAA] fix build break by converting the previously introduced assert into an if stmt

The code has a bug, but some tests regress.
I'll discuss this further on the mailing list.

llvm-svn: 317815
---

diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
index 528806a..fb9ece2 100644
--- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
@@ -1289,8 +1289,7 @@ AliasResult BasicAAResult::aliasGEP(const GEPOperator *GEP1, uint64_t V1Size,
   // greater, we know they do not overlap.
   if (GEP1BaseOffset != 0 && DecompGEP1.VarIndices.empty()) {
     if (GEP1BaseOffset >= 0) {
-      if (V1Size != MemoryLocation::UnknownSize &&
-          V2Size != MemoryLocation::UnknownSize) {
+      if (V2Size != MemoryLocation::UnknownSize) {
         if ((uint64_t)GEP1BaseOffset < V2Size)
           return PartialAlias;
         return NoAlias;