struct VerifierSupport

Declaration

struct VerifierSupport { /* full declaration omitted */ };

Declared at: llvm/lib/IR/Verifier.cpp:120

Member Variables

public llvm::raw_ostream* OS

public const llvm::Module& M

public llvm::ModuleSlotTracker MST

public llvm::Triple TT

public const llvm::DataLayout& DL

public llvm::LLVMContext& Context

public bool Broken = false

Track the brokenness of the module while recursively visiting.

public bool BrokenDebugInfo = false

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

public bool TreatBrokenDebugInfoAsError = true

Whether to treat broken debug info as an error.

Method Overview

• public void CheckFailed(const llvm::Twine & Message)
• public template <typename T1, typename... Ts>void CheckFailed(const llvm::Twine & Message, const T1 & V1, const Ts &... Vs)
• public void DebugInfoCheckFailed(const llvm::Twine & Message)
• public template <typename T1, typename... Ts>void DebugInfoCheckFailed(const llvm::Twine & Message, const T1 & V1, const Ts &... Vs)
• public VerifierSupport(llvm::raw_ostream * OS, const llvm::Module & M)

Methods

¶void CheckFailed(const llvm::Twine& Message)

Description

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.

Declared at: llvm/lib/IR/Verifier.cpp:215

Parameters

const llvm::Twine& Message

¶template <typename T1, typename... Ts>
void CheckFailed(const llvm::Twine& Message,
                 const T1& V1,
                 const Ts&... Vs)

Description

A check failed (with values to print). This calls the Message-only version so that the above is easier to set a breakpoint on.

Declared at: llvm/lib/IR/Verifier.cpp:226

Templates

T1

Ts

Parameters

const llvm::Twine& Message

const T1& V1

const Ts&... Vs

¶void DebugInfoCheckFailed(
    const llvm::Twine& Message)

Description

A debug info check failed.

Declared at: llvm/lib/IR/Verifier.cpp:233

Parameters

const llvm::Twine& Message

¶template <typename T1, typename... Ts>
void DebugInfoCheckFailed(
    const llvm::Twine& Message,
    const T1& V1,
    const Ts&... Vs)

Description

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

Declared at: llvm/lib/IR/Verifier.cpp:242

Templates

T1

Ts

Parameters

const llvm::Twine& Message

const T1& V1

const Ts&... Vs

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

Declared at: llvm/lib/IR/Verifier.cpp:135

Parameters

llvm::raw_ostream* OS

const llvm::Module& M