Enum RawStatement

pub enum RawStatement {
    Assign(Place, Rvalue),
    Call(Call),
    FakeRead(Place),
    SetDiscriminant(Place, VariantId),
    StorageDead(VarId),
    Deinit(Place),
    Drop(Place),
    Assert(Assert),
    Nop,
    Error(String),
}

A raw statement: a statement without meta data.

Variants

Assign(Place, Rvalue)

Call(Call)

A call. For now, we don’t support dynamic calls (i.e. to a function pointer in memory).

FakeRead(Place)

SetDiscriminant(Place, VariantId)

StorageDead(VarId)

We translate this to crate::llbc_ast::RawStatement::Drop in LLBC

Deinit(Place)

We translate this to crate::llbc_ast::RawStatement::Drop in LLBC

Drop(Place)

Assert(Assert)

A built-in assert, which corresponds to runtime checks that we remove, namely: bounds checks, over/underflow checks, div/rem by zero checks, pointer alignement check.

Nop

Does nothing. Useful for passes.

Error(String)

Implementations

impl RawStatement

pub fn is_assign(&self) -> bool

pub fn is_call(&self) -> bool

pub fn is_fake_read(&self) -> bool

pub fn is_set_discriminant(&self) -> bool

pub fn is_storage_dead(&self) -> bool

pub fn is_deinit(&self) -> bool

pub fn is_drop(&self) -> bool

pub fn is_assert(&self) -> bool

pub fn is_nop(&self) -> bool

pub fn is_error(&self) -> bool

impl RawStatement

pub fn as_assign(&self) -> Option<(&Place, &Rvalue)>

pub fn as_call(&self) -> Option<&Call>

pub fn as_fake_read(&self) -> Option<&Place>

pub fn as_set_discriminant(&self) -> Option<(&Place, &VariantId)>

pub fn as_storage_dead(&self) -> Option<&VarId>

pub fn as_deinit(&self) -> Option<&Place>

pub fn as_drop(&self) -> Option<&Place>

pub fn as_assert(&self) -> Option<&Assert>

pub fn as_nop(&self) -> Option<()>

pub fn as_error(&self) -> Option<&String>

impl RawStatement

pub fn as_assign_mut(&mut self) -> Option<(&mut Place, &mut Rvalue)>

pub fn as_call_mut(&mut self) -> Option<&mut Call>

pub fn as_fake_read_mut(&mut self) -> Option<&mut Place>

pub fn as_set_discriminant_mut( &mut self, ) -> Option<(&mut Place, &mut VariantId)>

pub fn as_storage_dead_mut(&mut self) -> Option<&mut VarId>

pub fn as_deinit_mut(&mut self) -> Option<&mut Place>

pub fn as_drop_mut(&mut self) -> Option<&mut Place>

pub fn as_assert_mut(&mut self) -> Option<&mut Assert>

pub fn as_nop_mut(&mut self) -> Option<()>

pub fn as_error_mut(&mut self) -> Option<&mut String>

impl RawStatement

pub fn variant_name(&self) -> &'static str

Trait Implementations

impl Clone for RawStatement

fn clone(&self) -> RawStatement

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RawStatement

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for RawStatement

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Drive for RawStatement

fn drive<V: Visitor>(&self, visitor: &mut V)

impl DriveMut for RawStatement

fn drive_mut<V: VisitorMut>(&mut self, visitor: &mut V)

impl Serialize for RawStatement

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.