LLVM 20.0.0git
Public Member Functions | Public Attributes | List of all members
llvm::VerifierSupport Struct Reference

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.
 
template<typename T1 , typename... Ts>
void CheckFailed (const Twine &Message, const T1 &V1, const Ts &... Vs)
 A check failed (with values to print).
 
void DebugInfoCheckFailed (const Twine &Message)
 A debug info check failed.
 
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).
 

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.
 
bool BrokenDebugInfo = false
 Broken debug info can be "recovered" from by stripping the debug info.
 
bool TreatBrokenDebugInfoAsError = true
 Whether to treat broken debug info as an error.
 

Detailed Description

Definition at line 141 of file Verifier.cpp.

Constructor & Destructor Documentation

◆ VerifierSupport()

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

Definition at line 156 of file Verifier.cpp.

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

References Broken, and OS.

Referenced by CheckFailed().

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

References CheckFailed(), and OS.

◆ DebugInfoCheckFailed() [1/2]

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

A debug info check failed.

Definition at line 304 of file Verifier.cpp.

References Broken, BrokenDebugInfo, OS, 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

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

Definition at line 313 of file Verifier.cpp.

References DebugInfoCheckFailed(), and OS.

Member Data Documentation

◆ Broken

bool llvm::VerifierSupport::Broken = false

Track the brokenness of the module while recursively visiting.

Definition at line 150 of file Verifier.cpp.

Referenced by CheckFailed(), and DebugInfoCheckFailed().

◆ BrokenDebugInfo

bool llvm::VerifierSupport::BrokenDebugInfo = false

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

Definition at line 152 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

◆ Context

LLVMContext& llvm::VerifierSupport::Context

Definition at line 147 of file Verifier.cpp.

◆ DL

const DataLayout& llvm::VerifierSupport::DL

Definition at line 146 of file Verifier.cpp.

◆ M

const Module& llvm::VerifierSupport::M

Definition at line 143 of file Verifier.cpp.

◆ MST

ModuleSlotTracker llvm::VerifierSupport::MST

Definition at line 144 of file Verifier.cpp.

◆ OS

raw_ostream* llvm::VerifierSupport::OS

Definition at line 142 of file Verifier.cpp.

Referenced by CheckFailed(), and DebugInfoCheckFailed().

◆ TreatBrokenDebugInfoAsError

bool llvm::VerifierSupport::TreatBrokenDebugInfoAsError = true

Whether to treat broken debug info as an error.

Definition at line 154 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

◆ TT

Triple llvm::VerifierSupport::TT

Definition at line 145 of file Verifier.cpp.


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