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:

Collaboration diagram for llvm::VerifierAnalysis:

Classes
struct	Result

Public Member Functions
Result	run (Module &M, ModuleAnalysisManager &)
Result	run (Function &F, FunctionAnalysisManager &)

Additional Inherited Members
Static Public Member Functions inherited from llvm::AnalysisInfoMixin< VerifierAnalysis >
static AnalysisKey *	ID ()
	Returns an opaque, unique ID for this analysis type. More...
Static Public Member Functions inherited from llvm::PassInfoMixin< VerifierAnalysis >
static StringRef	name ()
	Gets the name of the pass we are mixed into. More...

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

run() [1/2]

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

Definition at line 5241 of file Verifier.cpp.

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

run() [2/2]

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

Definition at line 5248 of file Verifier.cpp.

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

---

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

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