LLVM: llvm::VerifierPass Class Reference (original) (raw)

Create a verifier pass. More...

#include "[llvm/IR/Verifier.h](Verifier%5F8h%5Fsource.html)"

Inheritance diagram for llvm::VerifierPass:

[legend]

Public Member Functions
VerifierPass (bool FatalErrors=true)
LLVM_ABI PreservedAnalyses run (Module &M, ModuleAnalysisManager &AM)
LLVM_ABI PreservedAnalyses run (Function &F, FunctionAnalysisManager &AM)
Public Member Functions inherited from llvm::PassInfoMixin< VerifierPass >
void printPipeline (raw_ostream &OS, function_ref< StringRef(StringRef)> MapClassName2PassName)
Static Public Member Functions
static bool isRequired ()
Static Public Member Functions inherited from llvm::PassInfoMixin< VerifierPass >
static StringRef name ()
Gets the name of the pass we are mixed into.

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](classllvm%5F1%5F1VerifierPass.html "Create a verifier pass.").

Definition at line 134 of file Verifier.h.

Constructor & Destructor Documentation

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

Definition at line 138 of file Verifier.h.

Member Function Documentation

◆ isRequired()

bool llvm::VerifierPass::isRequired ( ) inlinestatic

Definition at line 142 of file Verifier.h.

◆ run() [1/2]

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

Definition at line 8152 of file Verifier.cpp.

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

◆ run() [2/2]

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

Definition at line 8144 of file Verifier.cpp.

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

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