[−][src]Enum c2rust_transpile::cfg::ImplicitReturnType

pub enum ImplicitReturnType {
    Main,
    Void,
    NoImplicitReturnType,
    StmtExpr(ExprContext, CExprId, Label),
}

Reaching the end of a body without encountering a return means different things depending on the function we are in.

Variants

Main

The main function implicitly returns 0

Void

void functions implicitly return; at the end of their bodies

NoImplicitReturnType

We require that a non-main function not returning void have an explicit return. C99 is annoyingly more permissive. From 6.9.1 paragraph 12,

If the } that terminates a function is reached, and the value of the function call is used by the caller, the behavior is undefined."

StmtExpr(ExprContext, CExprId, Label)

This is for handling GNU C statement expressions https://gcc.gnu.org/onlinedocs/gcc-3.2.3/gcc/Statement-Exprs.html

TODO: document

Trait Implementations

`impl Copy for ImplicitReturnType`[src]

`impl Clone for ImplicitReturnType`[src]

`fn clone(&self) -> ImplicitReturnType`[src]

`default fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

Performs copy-assignment from source. Read more

`impl Debug for ImplicitReturnType`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

Auto Trait Implementations

`impl Send for ImplicitReturnType`

`impl Sync for ImplicitReturnType`

Blanket Implementations

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

`impl<T> From for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

The type returned in the event of a conversion error.

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T> Borrow for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> BorrowMut for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

The type returned in the event of a conversion error.

[−][src]Enum c2rust_transpile::cfg::ImplicitReturnType

Variants

Trait Implementations

impl Copy for ImplicitReturnType[src]

impl Clone for ImplicitReturnType[src]

fn clone(&self) -> ImplicitReturnType[src]

default fn clone_from(&mut self, source: &Self)1.0.0[src]

impl Debug for ImplicitReturnType[src]

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

Auto Trait Implementations

impl Send for ImplicitReturnType

impl Sync for ImplicitReturnType

Blanket Implementations

impl<T> ToOwned for T where T: Clone, [src]

type Owned = T

fn to_owned(&self) -> T[src]

fn clone_into(&self, target: &mut T)[src]

impl<T> From for T[src]

fn from(t: T) -> T[src]

impl<T, U> Into for T where U: From<T>, [src]

fn into(self) -> U[src]

impl<T, U> TryFrom for T where U: Into<T>, [src]

type Error = Infallible

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]

impl<T> Borrow for T where T: ?Sized, [src]

fn borrow(&self) -> &T[src]

impl<T> Any for T where T: 'static + ?Sized, [src]

fn type_id(&self) -> TypeId[src]

impl<T> BorrowMut for T where T: ?Sized, [src]

fn borrow_mut(&mut self) -> &mut T[src]

impl<T, U> TryInto for T where U: TryFrom<T>, [src]

type Error = <U as TryFrom<T>>::Error

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]

impl<E> SpecializationError for E[src]

default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str) -> E where T: ?Sized, [src]

impl<T> Erased for T[src]

impl<T> Send for T where T: ?Sized, [src]

impl<T> Sync for T where T: ?Sized, [src]

impl<T> Make for T[src]

fn make(self, _mk: &Builder) -> T[src]

impl<T> MaybeResult for T[src]

fn from_ok(x: T) -> T[src]

fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T, [src]

impl<'a, T> Captures for T where T: ?Sized, [src]

impl<T> Erased for T

`impl Copy for ImplicitReturnType`[src]

`impl Clone for ImplicitReturnType`[src]

`fn clone(&self) -> ImplicitReturnType`[src]

`default fn clone_from(&mut self, source: &Self)`
1.0.0
[src]

`impl Debug for ImplicitReturnType`[src]

`fn fmt(&self, f: &mut Formatter) -> Result`[src]

`impl Send for ImplicitReturnType`

`impl Sync for ImplicitReturnType`

`impl<T> ToOwned for T where T: Clone,` [src]

`type Owned = T`

`fn to_owned(&self) -> T`[src]

`fn clone_into(&self, target: &mut T)`[src]

`impl<T> From for T`[src]

`fn from(t: T) -> T`[src]

`impl<T, U> Into for T where U: From<T>,` [src]

`fn into(self) -> U`[src]

`impl<T, U> TryFrom for T where U: Into<T>,` [src]

`type Error = Infallible`

`fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>`[src]

`impl<T> Borrow for T where T: ?Sized,` [src]

`fn borrow(&self) -> &T`[src]

`impl<T> Any for T where T: 'static + ?Sized,` [src]

`fn type_id(&self) -> TypeId`[src]

`impl<T> BorrowMut for T where T: ?Sized,` [src]

`fn borrow_mut(&mut self) -> &mut T`[src]

`impl<T, U> TryInto for T where U: TryFrom<T>,` [src]

`type Error = <U as TryFrom<T>>::Error`

`fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>`[src]

`impl<E> SpecializationError for E`[src]

`default fn not_found<S, T>( trait_name: &'static str, method_name: &'static str ) -> E where T: ?Sized,` [src]

`impl<T> Erased for T`[src]

`impl<T> Send for T where T: ?Sized,` [src]

`impl<T> Sync for T where T: ?Sized,` [src]

`impl<T> Make for T`[src]

`fn make(self, _mk: &Builder) -> T`[src]

`impl<T> MaybeResult for T`[src]

`fn from_ok(x: T) -> T`[src]

`fn map_same<F>(self, f: F) -> T where F: FnOnce(T) -> T,` [src]

`impl<'a, T> Captures for T where T: ?Sized,` [src]

`impl<T> Erased for T`