Struct c2rust_transpile::c_ast::Qualifiers

pub struct Qualifiers {
    pub is_const: bool,
    pub is_restrict: bool,
    pub is_volatile: bool,
}

Type qualifiers (6.7.3)

Fields

is_const: bool

The const qualifier, which marks lvalues as non-assignable.

We make use of const in only two places:

• Variable and function bindings (which matches up to Rust's mut or not bindings)
• The pointed type in pointers (which matches up to Rust's *const/*mut)

is_restrict: bool

is_volatile: bool

The volatile qualifier, which prevents the compiler from reordering accesses through such qualified lvalues past other observable side effects (other accesses, or sequence points).

The part here about not reordering (or changing in any way) access to something volatile can be replicated in Rust via std::ptr::read_volatile and std::ptr::write_volatile. Since Rust's execution model is still unclear, I am unsure that we get all of the guarantees volatile needs, especially regarding reordering of other side-effects.

To see where we use volatile, check the call-sites of Translation::volatile_write and Translation::volatile_read.

Methods

impl Qualifiers

pub fn and(self, other: Qualifiers) -> Qualifiers

Aggregate qualifier information from two sources.

Trait Implementations

impl Copy for Qualifiers

impl PartialEq<Qualifiers> for Qualifiers

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

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

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

This method tests for !=.

impl Clone for Qualifiers

fn clone(&self) -> Qualifiers

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Default for Qualifiers

fn default() -> Qualifiers

Returns the "default value" for a type.

impl Debug for Qualifiers

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

Formats the value using the given formatter.