diff options
Diffstat (limited to 'llvm/lib')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 14 |
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) { |