projects
/
platform
/
upstream
/
llvm.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
823338d
)
[BasicAA] add assertion for corner case in aliasGEP()
author
Nuno Lopes
<nunoplopes@sapo.pt>
Thu, 9 Nov 2017 16:16:46 +0000
(16:16 +0000)
committer
Nuno Lopes
<nunoplopes@sapo.pt>
Thu, 9 Nov 2017 16:16:46 +0000
(16:16 +0000)
llvm-svn: 317803
llvm/lib/Analysis/BasicAliasAnalysis.cpp
patch
|
blob
|
history
diff --git
a/llvm/lib/Analysis/BasicAliasAnalysis.cpp
b/llvm/lib/Analysis/BasicAliasAnalysis.cpp
index
fb9ece2
..
e68dd04
100644
(file)
--- 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 {