LLVM: llvm::VerifierSupport Struct Reference

LLVM 22.0.0git

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_ostream *	OS
const Module &	M
ModuleSlotTracker	MST
const Triple &	TT
const DataLayout &	DL
LLVMContext &	Context
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

Definition at line 142 of file Verifier.cpp.

Referenced by CheckFailed(), CheckFailed(), DebugInfoCheckFailed(), DebugInfoCheckFailed(), and VerifierSupport().

◆ 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:

lib/IR/Verifier.cpp