Revert "Reapply [Verifier] Sanity check alloca size against DILocalVariable fragment size"

This reverts commit 47324cfd7d8ca1a2a5cbb9f948ecff66a28ee6bc.

This exposed incorrect debuginfo in rustc. Revert the verification
until this has been fixed.

1 files changed, 0 insertions, 14 deletions

diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp
index 9ce0ef5..10d1763 100644
--- a/llvm/lib/IR/Verifier.cpp
+++ b/llvm/lib/IR/Verifier.cpp
@@ -6298,20 +6298,6 @@ void Verifier::visitDbgIntrinsic(StringRef Kind, DbgVariableIntrinsic &DII) {
   CheckDI(isType(Var->getRawType()), "invalid type ref", Var,
           Var->getRawType());
   verifyFnArgs(DII);
-
-  if (auto *Declare = dyn_cast<DbgDeclareInst>(&DII)) {
-    if (auto *Alloca = dyn_cast_or_null<AllocaInst>(Declare->getAddress())) {
-      DIExpression *Expr = Declare->getExpression();
-      std::optional<uint64_t> FragSize = Declare->getFragmentSizeInBits();
-      std::optional<TypeSize> AllocSize = Alloca->getAllocationSizeInBits(DL);
-      if (FragSize && AllocSize && !AllocSize->isScalable() &&
-          !Expr->isComplex()) {
-        CheckDI(*FragSize <= AllocSize->getFixedValue(),
-                "llvm.dbg.declare has larger fragment size than alloca size ",
-                &DII);
-      }
-    }
-  }
 }
 
 void Verifier::visitDbgLabelIntrinsic(StringRef Kind, DbgLabelInst &DLI) {