LLVM 22.0.0git
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
const TripleTT
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.

References Context, DL, M, MST, OS, and TT.

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.

Referenced by VerifierSupport().

◆ DL

const DataLayout& llvm::VerifierSupport::DL

Definition at line 146 of file Verifier.cpp.

Referenced by VerifierSupport().

◆ M

const Module& llvm::VerifierSupport::M

Definition at line 143 of file Verifier.cpp.

Referenced by VerifierSupport().

◆ MST

ModuleSlotTracker llvm::VerifierSupport::MST

Definition at line 144 of file Verifier.cpp.

Referenced by VerifierSupport().

◆ OS

raw_ostream* llvm::VerifierSupport::OS

◆ 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

const Triple& llvm::VerifierSupport::TT

Definition at line 145 of file Verifier.cpp.

Referenced by VerifierSupport().


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