diff options
| author | Nuno Lopes <nunoplopes@sapo.pt> | 2017-11-09 17:35:36 +0000 |
|---|---|---|
| committer | Nuno Lopes <nunoplopes@sapo.pt> | 2017-11-09 17:35:36 +0000 |
| commit | 2ee4b30276044f999a29101a2ddfcaca6b41d81c (patch) | |
| tree | 695f7096c49ebf9bb17cdcdbccf29137611ab450 | |
| parent | e58bb5dc4e9aebf0ddc19b1c7b236250132887d6 (diff) | |
| download | bcm5719-llvm-2ee4b30276044f999a29101a2ddfcaca6b41d81c.tar.gz bcm5719-llvm-2ee4b30276044f999a29101a2ddfcaca6b41d81c.zip | |
revert r317812 [BasicAA] fix build break by converting the previously introduced assert into an if stmt
The code has a bug, but some tests regress.
I'll discuss this further on the mailing list.
llvm-svn: 317815
| -rw-r--r-- | llvm/lib/Analysis/BasicAliasAnalysis.cpp | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/llvm/lib/Analysis/BasicAliasAnalysis.cpp b/llvm/lib/Analysis/BasicAliasAnalysis.cpp index 528806a4aab..fb9ece2bd20 100644 --- a/llvm/lib/Analysis/BasicAliasAnalysis.cpp +++ b/llvm/lib/Analysis/BasicAliasAnalysis.cpp @@ -1289,8 +1289,7 @@ AliasResult BasicAAResult::aliasGEP(const GEPOperator *GEP1, uint64_t V1Size, // greater, we know they do not overlap. if (GEP1BaseOffset != 0 && DecompGEP1.VarIndices.empty()) { if (GEP1BaseOffset >= 0) { - if (V1Size != MemoryLocation::UnknownSize && - V2Size != MemoryLocation::UnknownSize) { + if (V2Size != MemoryLocation::UnknownSize) { if ((uint64_t)GEP1BaseOffset < V2Size) return PartialAlias; return NoAlias; |
