LLVM  6.0.0svn
Public Member Functions | List of all members
llvm::VerifierPass Class Reference

Create a verifier pass. More...

#include "llvm/IR/Verifier.h"

Inheritance diagram for llvm::VerifierPass:
Inheritance graph
[legend]
Collaboration diagram for llvm::VerifierPass:
Collaboration graph
[legend]

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 135 of file Verifier.h.

Constructor & Destructor Documentation

◆ VerifierPass()

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

Definition at line 139 of file Verifier.h.

Member Function Documentation

◆ run() [1/2]

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

◆ run() [2/2]

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

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