diff options
author | Johannes Doerfert <johannes@jdoerfert.de> | 2022-01-08 21:11:51 -0600 |
---|---|---|
committer | Johannes Doerfert <johannes@jdoerfert.de> | 2022-01-09 13:15:53 -0600 |
commit | 4e8a02e7f49dd6aa7f2a6003a2556fda639713c9 (patch) | |
tree | 00ad035580ae769e421232487bbed5b85ce8e1d9 | |
parent | 9ba25ec92d88639561797674296b81fb3b67eed5 (diff) | |
download | llvm-4e8a02e7f49dd6aa7f2a6003a2556fda639713c9.tar.gz |
[Attributor][FIX] Remove assumption that doesn't have to hold
There is no guarantee we strip all GEPOperators and the conservative
handling doesn't even require us to.
-rw-r--r-- | llvm/lib/Transforms/IPO/AttributorAttributes.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp index de7244ab27bd..07c16c7d6b70 100644 --- a/llvm/lib/Transforms/IPO/AttributorAttributes.cpp +++ b/llvm/lib/Transforms/IPO/AttributorAttributes.cpp @@ -7702,7 +7702,6 @@ void AAMemoryLocationImpl::categorizePtrValue( for (Value *Obj : Objects) { // TODO: recognize the TBAA used for constant accesses. MemoryLocationsKind MLK = NO_LOCATIONS; - assert(!isa<GEPOperator>(Obj) && "GEPs should have been stripped."); if (isa<UndefValue>(Obj)) continue; if (isa<Argument>(Obj)) { |