LLVM  6.0.0svn
Classes | Namespaces | Functions
Verifier.h File Reference
#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:

Go to the source code of this file.


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...


 Compute iterated dominance frontiers using a linear time algorithm.


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...
FunctionPassllvm::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...