commit eb1a603dd1085a703dfc275cbf1608e45eaa513e
author Nuno Lopes <nunoplopes@sapo.pt> Thu Nov 09 16:16:46 2017 +0000
committer Nuno Lopes <nunoplopes@sapo.pt> Thu Nov 09 16:16:46 2017 +0000
tree b2eae55db051ef96acc9378f4d82ace0b3345d8e
parent 823338d1fe818abe3b498269cda73cb4f7d5103d

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

llvm-svn: 317803

llvm/lib/Analysis/BasicAliasAnalysis.cpp

diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
index fb9ece2..e68dd04a 100644
--- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
@@ -1292,6 +1292,7 @@
       if (V2Size != MemoryLocation::UnknownSize) {
         if ((uint64_t)GEP1BaseOffset < V2Size)
           return PartialAlias;
+        assert(V1Size != MemoryLocation::UnknownSize);
         return NoAlias;
       }
     } else {