#include "llvm/ADT/DenseMap.h"
#include "llvm/IR/PassManager.h"
#include <utility>

Include dependency graph for Verifier.h:

This graph shows which files directly or indirectly include 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
	llvm
	This class represents lattice values for constants.

Functions
bool	llvm::verifyFunction (const Function &F, raw_ostream *OS=nullptr)
	Check a function for errors, useful for use when debugging a pass. More...

bool	llvm::verifyModule (const Module &M, raw_ostream OS=nullptr, bool BrokenDebugInfo=nullptr)
	Check a module for errors. More...

FunctionPass *	llvm::createVerifierPass (bool FatalErrors=true)

bool	llvm::verifyModule (bool &BrokenDebugInfo, const Module &M, raw_ostream *OS)
	Check a module for errors, but report debug info errors separately. More...

Classes

Namespaces