class VerifierAnalysis

Declaration

class VerifierAnalysis : public AnalysisInfoMixin { /* full declaration omitted */ };

Description

Check a module for errors, and report separate error states for IR and debug info errors.

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

Inherits from: AnalysisInfoMixin

Member Variables

private static llvm::AnalysisKey Key

Method Overview

  • public static bool isRequired()
  • public llvm::VerifierAnalysis::Result run(llvm::Module & M, llvm::ModuleAnalysisManager &)
  • public llvm::VerifierAnalysis::Result run(llvm::Function & F, llvm::FunctionAnalysisManager &)

Methods

static bool isRequired()

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

llvm::VerifierAnalysis::Result run(
    llvm::Module& M,
    llvm::ModuleAnalysisManager&)

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

Parameters

llvm::Module& M
llvm::ModuleAnalysisManager&

llvm::VerifierAnalysis::Result run(
    llvm::Function& F,
    llvm::FunctionAnalysisManager&)

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

Parameters

llvm::Function& F
llvm::FunctionAnalysisManager&