Enum PccError

pub enum PccError {
    Overflow,
    MissingFact,
    UnsupportedFact,
    UnsupportedBlockparam,
    OutOfBounds,
    UnimplementedBackend,
    UnimplementedInst,
    InvalidFieldOffset,
    BadFieldType,
    WriteToReadOnlyField,
    InvalidStoredFact,
}

An error or inconsistency discovered when checking proof-carrying code.

Variants

Overflow

An operation wraps around, invalidating the stated value range.

MissingFact

An input to an operator that produces a fact-annotated value does not have a fact describing it, and one is needed.

UnsupportedFact

A derivation of an output fact is unsupported (incorrect or not derivable).

UnsupportedBlockparam

A block parameter claims a fact that one of its predecessors does not support.

OutOfBounds

A memory access is out of bounds.

UnimplementedBackend

Proof-carrying-code checking is not implemented for a particular compiler backend.

UnimplementedInst

Proof-carrying-code checking is not implemented for a particular instruction that instruction-selection chose. This is an internal compiler error.

InvalidFieldOffset

Access to an invalid or undefined field offset in a struct.

BadFieldType

Access to a field via the wrong type.

WriteToReadOnlyField

Store to a read-only field.

InvalidStoredFact

Store of data to a field with a fact that does not subsume the field’s fact.

Trait Implementations

impl Clone for PccError

fn clone(&self) -> PccError

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for PccError

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

Formats the value using the given formatter.