Duncan P. N. Exon Smith 9b4250d309 Verifier: Don't call debug info verifier if the module is broken ...

If `Verifier` has already found a failure, don't call
`DebugInfoVerifier`.  The latter sometimes crashes in `DebugInfoFinder`
when the former would give a nice message.  The only two cases I found
it crashing are explicit verifier tests I've added:

  - test/Verifier/llvm.dbg.declare-expression.ll
  - test/Verifier/llvm.dbg.value-expression.ll

However, I assume frontends with bugs will create invalid IR as well.

IMO, the `DebugInfoVerifier` should never crash (instead, it should fail
to verify), but subtleties like that will be easier to work out once
it's enabled again.

This is part of PR22777.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@232418 91177308-0d34-0410-b5e6-96231b3b80d8

2015-03-16 21:23:56 +00:00

..

AsmWriter.cpp

…

AsmWriter.h

…

AttributeImpl.h

…

Attributes.cpp

…

AutoUpgrade.cpp

…

BasicBlock.cpp

…

CMakeLists.txt

…

Comdat.cpp

…

ConstantFold.cpp

…

ConstantFold.h

…

ConstantRange.cpp

…

Constants.cpp

…

ConstantsContext.h

…

Core.cpp

…

DataLayout.cpp

…

DebugInfo.cpp

…

DebugInfoMetadata.cpp

…

DebugLoc.cpp

…

DiagnosticInfo.cpp

…

DiagnosticPrinter.cpp

…

DIBuilder.cpp

…

Dominators.cpp

…

Function.cpp

…

GCOV.cpp

…

Globals.cpp

…

GVMaterializer.cpp

…

InlineAsm.cpp

…

Instruction.cpp

…

Instructions.cpp

…

IntrinsicInst.cpp

…

IRBuilder.cpp

…

IRPrintingPasses.cpp

…

LegacyPassManager.cpp

…

LLVMBuild.txt

…

LLVMContext.cpp

…

LLVMContextImpl.cpp

…

LLVMContextImpl.h

…

Makefile

…

Mangler.cpp

…

MDBuilder.cpp

…

Metadata.cpp

…

MetadataImpl.h

…

MetadataTracking.cpp

…

Module.cpp

…

module.modulemap

…

Pass.cpp

…

PassManager.cpp

…

PassRegistry.cpp

…

Statepoint.cpp

…

SymbolTableListTraitsImpl.h

…

Type.cpp

…

TypeFinder.cpp

…

Use.cpp

…

UseListOrder.cpp

…

User.cpp

…

Value.cpp

…

ValueSymbolTable.cpp

…

ValueTypes.cpp

…

Verifier.cpp

…