diff options
Diffstat (limited to 'llvm/lib/IR/Verifier.cpp')
| -rw-r--r-- | llvm/lib/IR/Verifier.cpp | 10 |
1 files changed, 1 insertions, 9 deletions
diff --git a/llvm/lib/IR/Verifier.cpp b/llvm/lib/IR/Verifier.cpp index 3df885ac8f9..fba78e92a09 100644 --- a/llvm/lib/IR/Verifier.cpp +++ b/llvm/lib/IR/Verifier.cpp @@ -1075,9 +1075,6 @@ void Verifier::visitMDLocalVariable(const MDLocalVariable &N) { "invalid tag", &N); Assert(N.getRawScope() && isa<MDLocalScope>(N.getRawScope()), "local variable requires a valid scope", &N, N.getRawScope()); - if (auto *IA = N.getRawInlinedAt()) - Assert(isa<MDLocation>(IA), "local variable requires a valid scope", &N, - IA); } void Verifier::visitMDExpression(const MDExpression &N) { @@ -3401,17 +3398,12 @@ void Verifier::visitDbgIntrinsic(StringRef Kind, DbgIntrinsicTy &DII) { BasicBlock *BB = DII.getParent(); Function *F = BB ? BB->getParent() : nullptr; - // The inlined-at attachments for variables and !dbg attachments must agree. + // The scopes for variables and !dbg attachments must agree. MDLocalVariable *Var = DII.getVariable(); - MDLocation *VarIA = Var->getInlinedAt(); MDLocation *Loc = DII.getDebugLoc(); Assert(Loc, "llvm.dbg." + Kind + " intrinsic requires a !dbg attachment", &DII, BB, F); - MDLocation *LocIA = Loc->getInlinedAt(); - Assert(VarIA == LocIA, "mismatched variable and !dbg inlined-at", &DII, BB, F, - Var, VarIA, Loc, LocIA); - MDSubprogram *VarSP = getSubprogram(Var->getRawScope()); MDSubprogram *LocSP = getSubprogram(Loc->getRawScope()); if (!VarSP || !LocSP) |
