LLVM  6.0.0svn
Public Member Functions | Public Attributes | List of all members
llvm::VerifierSupport Struct Reference
Collaboration diagram for llvm::VerifierSupport:
Collaboration graph
[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 120 of file Verifier.cpp.

Constructor & Destructor Documentation

◆ VerifierSupport()

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

Member Function Documentation

◆ CheckFailed() [1/2]

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 214 of file Verifier.cpp.

References T1.

Referenced by CheckFailed(), forEachUser(), getParentPad(), hasConflictingReferenceFlags(), isFuncOrArgAttr(), IsScalarTBAANodeImpl(), and llvm::TBAAVerifier::visitTBAAMetadata().

◆ CheckFailed() [2/2]

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 225 of file Verifier.cpp.

References CheckFailed().

◆ DebugInfoCheckFailed() [1/2]

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

A debug info check failed.

Definition at line 232 of file Verifier.cpp.

References T1, and TreatBrokenDebugInfoAsError.

Referenced by DebugInfoCheckFailed().

◆ DebugInfoCheckFailed() [2/2]

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

Member Data Documentation

◆ Broken

bool llvm::VerifierSupport::Broken = false

Track the brokenness of the module while recursively visiting.

Definition at line 128 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed(), and llvm::verifyModule().

◆ BrokenDebugInfo

bool llvm::VerifierSupport::BrokenDebugInfo = false

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

Definition at line 130 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

◆ Context

LLVMContext& llvm::VerifierSupport::Context

Definition at line 125 of file Verifier.cpp.

Referenced by forEachUser(), getSuccPad(), and isFuncOrArgAttr().

◆ DL

const DataLayout& llvm::VerifierSupport::DL

Definition at line 124 of file Verifier.cpp.

Referenced by getParentPad(), getSuccPad(), isContiguous(), and isFuncOrArgAttr().

◆ M

const Module& llvm::VerifierSupport::M

◆ MST

ModuleSlotTracker llvm::VerifierSupport::MST

Definition at line 123 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

◆ OS

raw_ostream* llvm::VerifierSupport::OS

Definition at line 121 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

◆ TreatBrokenDebugInfoAsError

bool llvm::VerifierSupport::TreatBrokenDebugInfoAsError = true

Whether to treat broken debug info as an error.

Definition at line 132 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().


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