class VerifierPass

Declaration

class VerifierPass : public PassInfoMixin { /* full declaration omitted */ };

Description

Create a verifier pass. 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 \c false to \p FatalErrors. Note that this creates a pass suitable for the legacy pass manager. It has nothing to do with \c VerifierPass.

Declared at: llvm/include/llvm/IR/Verifier.h:136

Inherits from: PassInfoMixin

Method Overview

• public VerifierPass(bool FatalErrors = true)
• public llvm::PreservedAnalyses run(llvm::Module & M, llvm::ModuleAnalysisManager & AM)
• public llvm::PreservedAnalyses run(llvm::Function & F, llvm::FunctionAnalysisManager & AM)

Methods

¶VerifierPass(bool FatalErrors = true)

Declared at: llvm/include/llvm/IR/Verifier.h:140

Parameters

bool FatalErrors = true

¶llvm::PreservedAnalyses run(
    llvm::Module& M,
    llvm::ModuleAnalysisManager& AM)

Declared at: llvm/include/llvm/IR/Verifier.h:142

Parameters

llvm::Module& M

llvm::ModuleAnalysisManager& AM

¶llvm::PreservedAnalyses run(
    llvm::Function& F,
    llvm::FunctionAnalysisManager& AM)

Declared at: llvm/include/llvm/IR/Verifier.h:143

Parameters

llvm::Function& F

llvm::FunctionAnalysisManager& AM