Struct cranelift_codegen::verifier::VerifierError

pub struct VerifierError {
    pub location: AnyEntity,
    pub context: Option<String>,
    pub message: String,
}

A verifier error.

Fields

location: AnyEntity

The entity causing the verifier error.

context: Option<String>

Optionally provide some context for the given location; e.g., for inst42 provide Some("v3 = iconst.i32 0") for more comprehensible errors.

message: String

The error message.

Trait Implementations

impl Clone for VerifierError

fn clone(&self) -> VerifierError

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VerifierError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for VerifierError

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Error for VerifierError

fn source(&self) -> Option<&(dyn Error + 'static)>

The lower-level source of this error, if any.

fn backtrace(&self) -> Option<&Backtrace>

🔬 This is a nightly-only experimental API. (backtrace)

Returns a stack backtrace, if available, of where this error occurred.

fn description(&self) -> &str

👎 Deprecated since 1.42.0:

use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎 Deprecated since 1.33.0:

replaced by Error::source, which can support downcasting

fn provide(&'a self, req: &mut Demand<'a>)

🔬 This is a nightly-only experimental API. (error_generic_member_access)

Provides type based access to context intended for error reports.

impl<L, C, M> From<(L, C, M)> for VerifierError where
    L: Into<AnyEntity>,
    C: Into<String>,
    M: Into<String>, 

Convenience converter for making error-reporting less verbose.

Converts a tuple of (location, context, message) to a VerifierError.

use cranelift_codegen::verifier::VerifierErrors;
use cranelift_codegen::ir::Inst;
let mut errors = VerifierErrors::new();
errors.report((Inst::from_u32(42), "v3 = iadd v1, v2", "iadd cannot be used with values of this type"));
// note the double parenthenses to use this syntax

fn from(items: (L, C, M)) -> Self

Converts to this type from the input type.

impl<L, M> From<(L, M)> for VerifierError where
    L: Into<AnyEntity>,
    M: Into<String>, 

Convenience converter for making error-reporting less verbose.

Same as above but without context.

fn from(items: (L, M)) -> Self

Converts to this type from the input type.

impl PartialEq<VerifierError> for VerifierError

fn eq(&self, other: &VerifierError) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &VerifierError) -> bool

This method tests for !=.

impl Eq for VerifierError

impl StructuralEq for VerifierError

impl StructuralPartialEq for VerifierError