LLVM 19.0.0git
Classes | Public Member Functions | Static Public Member Functions | List of all members
llvm::VerifierAnalysis Class Reference

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

#include "llvm/IR/Verifier.h"

Inheritance diagram for llvm::VerifierAnalysis:
Inheritance graph
[legend]

Classes

struct  Result
 

Public Member Functions

Result run (Module &M, ModuleAnalysisManager &)
 
Result run (Function &F, FunctionAnalysisManager &)
 
- Public Member Functions inherited from llvm::PassInfoMixin< DerivedT >
void printPipeline (raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
 

Static Public Member Functions

static bool isRequired ()
 
- Static Public Member Functions inherited from llvm::AnalysisInfoMixin< VerifierAnalysis >
static AnalysisKeyID ()
 Returns an opaque, unique ID for this analysis type.
 
- Static Public Member Functions inherited from llvm::PassInfoMixin< DerivedT >
static StringRef name ()
 Gets the name of the pass we are mixed into.
 

Detailed Description

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

Definition at line 108 of file Verifier.h.

Member Function Documentation

◆ isRequired()

static bool llvm::VerifierAnalysis::isRequired ( )
inlinestatic

Definition at line 120 of file Verifier.h.

◆ run() [1/2]

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

Definition at line 7469 of file Verifier.cpp.

References llvm::dbgs(), F, and llvm::verifyFunction().

◆ run() [2/2]

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

The documentation for this class was generated from the following files: