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:

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 AnalysisKey *	ID ()
	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 107 of file Verifier.h.

Member Function Documentation

isRequired()

static bool llvm::VerifierAnalysis::isRequired ( )

inlinestatic

Definition at line 119 of file Verifier.h.

run() [1/2]

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

Definition at line 7589 of file Verifier.cpp.

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

run() [2/2]

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

Definition at line 7582 of file Verifier.cpp.

References llvm::dbgs(), llvm::VerifierAnalysis::Result::DebugInfoBroken, llvm::VerifierAnalysis::Result::IRBroken, and llvm::verifyModule().

---

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

• include/llvm/IR/Verifier.h
• lib/IR/Verifier.cpp