[llvm] ad3c91e - MemoryBuiltins: Don't check for unsized allocas
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 16 09:13:18 PST 2022
Author: Matt Arsenault
Date: 2022-11-16T09:13:11-08:00
New Revision: ad3c91eedc39cdbff6d893df00efba850d8cff97
URL: https://github.com/llvm/llvm-project/commit/ad3c91eedc39cdbff6d893df00efba850d8cff97
DIFF: https://github.com/llvm/llvm-project/commit/ad3c91eedc39cdbff6d893df00efba850d8cff97.diff
LOG: MemoryBuiltins: Don't check for unsized allocas
The verifier rejects these.
Added:
Modified:
llvm/lib/Analysis/MemoryBuiltins.cpp
Removed:
################################################################################
diff --git a/llvm/lib/Analysis/MemoryBuiltins.cpp b/llvm/lib/Analysis/MemoryBuiltins.cpp
index 351e81aac05d..1cba0571f1fc 100644
--- a/llvm/lib/Analysis/MemoryBuiltins.cpp
+++ b/llvm/lib/Analysis/MemoryBuiltins.cpp
@@ -783,9 +783,6 @@ bool ObjectSizeOffsetVisitor::CheckedZextOrTrunc(APInt &I) {
}
SizeOffsetType ObjectSizeOffsetVisitor::visitAllocaInst(AllocaInst &I) {
- if (!I.getAllocatedType()->isSized())
- return unknown();
-
TypeSize ElemSize = DL.getTypeAllocSize(I.getAllocatedType());
if (ElemSize.isScalable() && Options.EvalMode != ObjectSizeOpts::Mode::Min)
return unknown();
More information about the llvm-commits
mailing list