Enum c2rust_transpile::translator::ExprUse

pub enum ExprUse {
    Unused,
    Used,
}

This represents all of the ways a C expression can be used in a C program. Making this distinction is important for:

• not generating a bunch of unnecessary code, e.g., the expression p = 1 evaluates 1, but when used in a statement like p = 1;, we don't care about this, so we can translate to the Rust p = 1 (even if it evaluates to the unit type). We get this behaviour by translating expression statements using ExprUse::Unused.

• handling volatile properly, e.g., suppose volatile int n, *p; and int x;. Then, x = n is a volatile read of n but p = &n is not. We get this behaviour by translating the argument of & using ExprUse::LValue and the right hand side of =

  using ExprUse::RValue.

• handling volatile properly

See Translation::convert_expr for more details.

Variants

Unused

expressions interesting only for their side-effects - we don't care about their values

Used

expressions used for their values

Trait Implementations

impl Eq for ExprUse

impl Copy for ExprUse

impl PartialOrd<ExprUse> for ExprUse

fn partial_cmp(&self, other: &ExprUse) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

#[must_use]

default fn lt(&self, other: &Rhs) -> bool

This method tests less than (for self and other) and is used by the < operator.

#[must_use]

default fn le(&self, other: &Rhs) -> bool

This method tests less than or equal to (for self and other) and is used by the <= operator.

#[must_use]

default fn gt(&self, other: &Rhs) -> bool

This method tests greater than (for self and other) and is used by the > operator.

#[must_use]

default fn ge(&self, other: &Rhs) -> bool

This method tests greater than or equal to (for self and other) and is used by the >= operator.

impl PartialEq<ExprUse> for ExprUse

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

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

#[must_use]

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

This method tests for !=.

impl Clone for ExprUse

fn clone(&self) -> ExprUse

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Ord for ExprUse

fn cmp(&self, other: &ExprUse) -> Ordering

This method returns an Ordering between self and other.

default fn max(self, other: Self) -> Self

Compares and returns the maximum of two values.

default fn min(self, other: Self) -> Self

Compares and returns the minimum of two values.

default fn clamp(self, min: Self, max: Self) -> Self

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

Restrict a value to a certain interval.

impl Debug for ExprUse

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

Formats the value using the given formatter.