LLVM 20.0.0git
Classes | Namespaces | Functions
Verifier.h File Reference
#include "llvm/ADT/DenseMap.h"
#include "llvm/IR/PassManager.h"
#include <utility>

Go to the source code of this file.

Classes

class  llvm::TBAAVerifier
 Verify that the TBAA Metadatas are valid. More...
 
class  llvm::VerifierAnalysis
 Check a module for errors, and report separate error states for IR and debug info errors. More...
 
struct  llvm::VerifierAnalysis::Result
 
class  llvm::VerifierPass
 Create a verifier pass. More...
 

Namespaces

namespace  llvm
 This is an optimization pass for GlobalISel generic memory operations.
 

Functions

bool llvm::verifyFunction (const Function &F, raw_ostream *OS=nullptr)
 Check a function for errors, useful for use when debugging a pass.
 
bool llvm::verifyModule (const Module &M, raw_ostream *OS=nullptr, bool *BrokenDebugInfo=nullptr)
 Check a module for errors.
 
FunctionPassllvm::createVerifierPass (bool FatalErrors=true)