[llvm] r317803 - [BasicAA] add assertion for corner case in aliasGEP()

[Nuno Lopes via llvm-commits]

Author: nlopes
Date: Thu Nov  9 08:16:46 2017
New Revision: 317803

URL: http://llvm.org/viewvc/llvm-project?rev=317803&view=rev
Log:
[BasicAA] add assertion for corner case in aliasGEP()

Modified:
    llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp

Modified: llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp
URL: http://llvm.org/viewvc/llvm-project/llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp?rev=317803&r1=317802&r2=317803&view=diff
==============================================================================
--- llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp (original)
+++ llvm/trunk/lib/Analysis/BasicAliasAnalysis.cpp Thu Nov  9 08:16:46 2017
@@ -1292,6 +1292,7 @@ AliasResult BasicAAResult::aliasGEP(cons
       if (V2Size != MemoryLocation::UnknownSize) {
         if ((uint64_t)GEP1BaseOffset < V2Size)
           return PartialAlias;
+        assert(V1Size != MemoryLocation::UnknownSize);
         return NoAlias;
       }
     } else {