Create a verifier pass. More...

#include "llvm/IR/Verifier.h"

Inheritance diagram for llvm::VerifierPass:

Collaboration diagram for llvm::VerifierPass:

Public Member Functions
	VerifierPass (bool FatalErrors=true)

PreservedAnalyses	run (Module &M, ModuleAnalysisManager &AM)

PreservedAnalyses	run (Function &F, FunctionAnalysisManager &AM)

Additional Inherited Members
Static Public Member Functions inherited from llvm::PassInfoMixin< VerifierPass >
static StringRef	name ()
	Gets the name of the pass we are mixed into. More...

Detailed 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 false to FatalErrors.

Note that this creates a pass suitable for the legacy pass manager. It has nothing to do with VerifierPass.

Definition at line 137 of file Verifier.h.

Constructor & Destructor Documentation

◆ VerifierPass()

llvm::VerifierPass::VerifierPass ( bool FatalErrors = true )

inlineexplicit

Definition at line 141 of file Verifier.h.

Member Function Documentation

◆ run() [1/2]

PreservedAnalyses VerifierPass::run	(	Module &	M,
		ModuleAnalysisManager &	AM
	)

Definition at line 5253 of file Verifier.cpp.

References llvm::PreservedAnalyses::all(), llvm::AnalysisManager< IRUnitT, ExtraArgTs >::getResult(), llvm::VerifierSupport::M, and llvm::report_fatal_error().

◆ run() [2/2]

PreservedAnalyses VerifierPass::run	(	Function &	F,
		FunctionAnalysisManager &	AM
	)

Definition at line 5261 of file Verifier.cpp.

References llvm::PreservedAnalyses::all(), F(), llvm::AnalysisManager< IRUnitT, ExtraArgTs >::getResult(), and llvm::report_fatal_error().

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

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