llvm::createVerifierPass

Create a verifier pass.

Synopsis

Declared in <llvm/IR/Verifier.h>

FunctionPass*
createVerifierPass(bool FatalErrors = true);

Description

Check a module or function for validity. This is essentially a pass wrapped around the above verifyFunction and verifyModule routines and functionality. When the pass detects a verification error it is always printed to stderr, and by default they are fatal. You can override that by passing false to FatalErrors.

Note that this creates a pass suitable for the legacy pass manager. It has nothing to do with VerifierPass.

Return Value

A new verifier FunctionPass for the legacy pass manager.

Parameters

Name

Description

FatalErrors

If true, verification failures abort compilation.

Created with MrDocs