From: Nuno Lopes Date: Thu, 9 Nov 2017 17:06:42 +0000 (+0000) Subject: [BasicAA] fix build break by converting the previously introduced assert into an... X-Git-Tag: llvmorg-6.0.0-rc1~3772 X-Git-Url: http://review.tizen.org/git/?a=commitdiff_plain;h=9f82a2b60ed2e12cb41ebd3bb3c5a1ace02f9ed0;p=platform%2Fupstream%2Fllvm.git [BasicAA] fix build break by converting the previously introduced assert into an if stmt Apparently V1Size == -1 doest imply V2Size == -1, which is a bit surprising to me. llvm-svn: 317812 --- diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index e68dd04a..528806a 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -1289,10 +1289,10 @@ 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 (V2Size != MemoryLocation::UnknownSize) { + if (V1Size != MemoryLocation::UnknownSize && + V2Size != MemoryLocation::UnknownSize) { if ((uint64_t)GEP1BaseOffset < V2Size) return PartialAlias; - assert(V1Size != MemoryLocation::UnknownSize); return NoAlias; } } else {