From eb1a603dd1085a703dfc275cbf1608e45eaa513e Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nunoplopes@sapo.pt>
Date: Thu, 9 Nov 2017 16:16:46 +0000
Subject: [PATCH] [BasicAA] add assertion for corner case in aliasGEP()

llvm-svn: 317803
---
 llvm/lib/Analysis/BasicAliasAnalysis.cpp | 1 +
 1 file changed, 1 insertion(+)

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 @@ 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 {
-- 
2.7.4