diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2017-11-09 16:16:46 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2017-11-09 16:16:46 +0000 |
| commit | eb1a603dd1085a703dfc275cbf1608e45eaa513e (patch) | |
| tree | b2eae55db051ef96acc9378f4d82ace0b3345d8e /llvm/lib/Analysis/BasicAliasAnalysis.cpp | |
| parent | 823338d1fe818abe3b498269cda73cb4f7d5103d (diff) | |
| download | bcm5719-llvm-eb1a603dd1085a703dfc275cbf1608e45eaa513e.tar.gz bcm5719-llvm-eb1a603dd1085a703dfc275cbf1608e45eaa513e.zip | |
[BasicAA] add assertion for corner case in aliasGEP()
llvm-svn: 317803
Diffstat (limited to 'llvm/lib/Analysis/BasicAliasAnalysis.cpp')
| -rw-r--r-- | llvm/lib/Analysis/BasicAliasAnalysis.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index fb9ece2bd20..e68dd04a4c7 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 { |
