Skip to content

Commit 2e66a2a

Browse files
authored
Revert "[RemoveDIs] Add additional debug-mode verifier checks (#84308)"
This reverts commit a84eb24.
1 parent 2a38551 commit 2e66a2a

File tree

1 file changed

+0
-10
lines changed

1 file changed

+0
-10
lines changed

llvm/lib/IR/Verifier.cpp

Lines changed: 0 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -2691,11 +2691,6 @@ void Verifier::visitFunction(const Function &F) {
26912691
Check(verifyAttributeCount(Attrs, FT->getNumParams()),
26922692
"Attribute after last parameter!", &F);
26932693

2694-
CheckDI(F.IsNewDbgInfoFormat == F.getParent()->IsNewDbgInfoFormat,
2695-
"Function debug format should match parent module", &F,
2696-
F.IsNewDbgInfoFormat, F.getParent(),
2697-
F.getParent()->IsNewDbgInfoFormat);
2698-
26992694
bool IsIntrinsic = F.isIntrinsic();
27002695

27012696
// Check function attributes.
@@ -3039,11 +3034,6 @@ void Verifier::visitBasicBlock(BasicBlock &BB) {
30393034
Check(I.getParent() == &BB, "Instruction has bogus parent pointer!");
30403035
}
30413036

3042-
CheckDI(BB.IsNewDbgInfoFormat == BB.getParent()->IsNewDbgInfoFormat,
3043-
"BB debug format should match parent function", &BB,
3044-
BB.IsNewDbgInfoFormat, BB.getParent(),
3045-
BB.getParent()->IsNewDbgInfoFormat);
3046-
30473037
// Confirm that no issues arise from the debug program.
30483038
if (BB.IsNewDbgInfoFormat)
30493039
CheckDI(!BB.getTrailingDPValues(), "Basic Block has trailing DbgRecords!",

0 commit comments

Comments
 (0)