LLVM  10.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
 
Triple TT
 
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 118 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 213 of file Verifier.cpp.

References T1.

Referenced by CheckFailed(), forEachUser(), getParentPad(), 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 224 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 231 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 127 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 129 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

◆ Context

LLVMContext& llvm::VerifierSupport::Context

Definition at line 124 of file Verifier.cpp.

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

◆ DL

const DataLayout& llvm::VerifierSupport::DL

Definition at line 123 of file Verifier.cpp.

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

◆ M

const Module& llvm::VerifierSupport::M

◆ MST

ModuleSlotTracker llvm::VerifierSupport::MST

Definition at line 121 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

◆ OS

raw_ostream* llvm::VerifierSupport::OS

Definition at line 119 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 131 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

◆ TT

Triple llvm::VerifierSupport::TT

Definition at line 122 of file Verifier.cpp.


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