LLVM  4.0.0
Public Member Functions | Public Attributes | List of all members
llvm::VerifierSupport Struct Reference
Collaboration diagram for llvm::VerifierSupport:
[legend]

Public Member Functions

 VerifierSupport (raw_ostream *OS, const Module &M)
 
void CheckFailed (const Twine &Message)
 A check failed, so printout out the condition and the message. More...
 
template<typename T1 , typename... Ts>
void CheckFailed (const Twine &Message, const T1 &V1, const Ts &...Vs)
 A check failed (with values to print). More...
 
void DebugInfoCheckFailed (const Twine &Message)
 A debug info check failed. More...
 
template<typename T1 , typename... Ts>
void DebugInfoCheckFailed (const Twine &Message, const T1 &V1, const Ts &...Vs)
 A debug info check failed (with values to print). More...
 

Public Attributes

raw_ostreamOS
 
const ModuleM
 
ModuleSlotTracker MST
 
const DataLayoutDL
 
LLVMContextContext
 
bool Broken = false
 Track the brokenness of the module while recursively visiting. More...
 
bool BrokenDebugInfo = false
 Broken debug info can be "recovered" from by stripping the debug info. More...
 
bool TreatBrokenDebugInfoAsError = true
 Whether to treat broken debug info as an error. More...
 

Detailed Description

Definition at line 122 of file Verifier.cpp.

Constructor & Destructor Documentation

llvm::VerifierSupport::VerifierSupport ( raw_ostream OS,
const Module M 
)
inlineexplicit

Definition at line 136 of file Verifier.cpp.

Member Function Documentation

void llvm::VerifierSupport::CheckFailed ( const Twine Message)
inline

A check failed, so printout out the condition and the message.

This provides a nice place to put a breakpoint if you want to see why something is not correct.

Definition at line 216 of file Verifier.cpp.

References Broken, and OS.

Referenced by CheckFailed().

template<typename T1 , typename... Ts>
void llvm::VerifierSupport::CheckFailed ( const Twine Message,
const T1 V1,
const Ts &...  Vs 
)
inline

A check failed (with values to print).

This calls the Message-only version so that the above is easier to set a breakpoint on.

Definition at line 227 of file Verifier.cpp.

References CheckFailed(), and OS.

void llvm::VerifierSupport::DebugInfoCheckFailed ( const Twine Message)
inline

A debug info check failed.

Definition at line 234 of file Verifier.cpp.

References Broken, BrokenDebugInfo, OS, and TreatBrokenDebugInfoAsError.

Referenced by DebugInfoCheckFailed().

template<typename T1 , typename... Ts>
void llvm::VerifierSupport::DebugInfoCheckFailed ( const Twine Message,
const T1 V1,
const Ts &...  Vs 
)
inline

A debug info check failed (with values to print).

Definition at line 243 of file Verifier.cpp.

References DebugInfoCheckFailed(), and OS.

Member Data Documentation

bool llvm::VerifierSupport::Broken = false

Track the brokenness of the module while recursively visiting.

Definition at line 130 of file Verifier.cpp.

Referenced by CheckFailed(), and DebugInfoCheckFailed().

bool llvm::VerifierSupport::BrokenDebugInfo = false

Broken debug info can be "recovered" from by stripping the debug info.

Definition at line 132 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

LLVMContext& llvm::VerifierSupport::Context

Definition at line 127 of file Verifier.cpp.

const DataLayout& llvm::VerifierSupport::DL

Definition at line 126 of file Verifier.cpp.

const Module& llvm::VerifierSupport::M

Definition at line 124 of file Verifier.cpp.

ModuleSlotTracker llvm::VerifierSupport::MST

Definition at line 125 of file Verifier.cpp.

raw_ostream* llvm::VerifierSupport::OS

Definition at line 123 of file Verifier.cpp.

Referenced by CheckFailed(), and DebugInfoCheckFailed().

bool llvm::VerifierSupport::TreatBrokenDebugInfoAsError = true

Whether to treat broken debug info as an error.

Definition at line 134 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().


The documentation for this struct was generated from the following file: