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

llvm-svn: 317803
2017-11-09 16:16:46 +00:00 · 2017-11-09 16:16:46 +00:00 · eb1a603dd1
parent 823338d1fe
commit eb1a603dd1
1 changed files with 1 additions and 0 deletions
--- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
+++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
@ -1292,6 +1292,7 @@ AliasResult BasicAAResult::aliasGEP(const GEPOperator *GEP1, uint64_t V1Size,
      if (V2Size != MemoryLocation::UnknownSize) {
        if ((uint64_t)GEP1BaseOffset < V2Size)
          return PartialAlias;
+        assert(V1Size != MemoryLocation::UnknownSize);
        return NoAlias;
      }
    } else {