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_ostream *	OS
const Module &	M
ModuleSlotTracker	MST
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 137 of file Verifier.cpp.

Constructor & Destructor Documentation

VerifierSupport()

llvm::VerifierSupport::VerifierSupport ( raw_ostream *  OS, const Module &  M  )

inlineexplicit

Definition at line 152 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 282 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 293 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 300 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 309 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 146 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 148 of file Verifier.cpp.

Referenced by DebugInfoCheckFailed().

Context

LLVMContext& llvm::VerifierSupport::Context

Definition at line 143 of file Verifier.cpp.

DL

const DataLayout& llvm::VerifierSupport::DL

Definition at line 142 of file Verifier.cpp.

M

const Module& llvm::VerifierSupport::M

Definition at line 139 of file Verifier.cpp.

MST

ModuleSlotTracker llvm::VerifierSupport::MST

Definition at line 140 of file Verifier.cpp.

OS

raw_ostream* llvm::VerifierSupport::OS

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

Referenced by DebugInfoCheckFailed().

TT

Triple llvm::VerifierSupport::TT

Definition at line 141 of file Verifier.cpp.

---

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

• lib/IR/Verifier.cpp