Struct FunctionDef 

pub struct FunctionDef {
    pub specifiers: DeclSpecifiers,
    pub name: Ident,
    pub ty: Type,
    pub kr_decls: Vec<Decl>,
    pub attrs: Attributes,
    pub asm_label: Option<Spanned<String>>,
    pub body: Block,
    pub uses_label_addrs: bool,
    pub range: SourceRange,
}

A function definition.

Fields

specifiers: DeclSpecifiers

The declaration specifiers.

name: Ident

The function’s name.

ty: Type

The function’s type; always TypeKind::Function unless recovery kicked in.

kr_decls: Vec<Decl>

Old-style parameter declarations (int f(a) int a; { … }). Empty for a prototype-style definition; sema decides whether to accept them.

attrs: Attributes

What __attribute__((…)) written after the declarator asked for.

asm_label: Option<Spanned<String>>

The symbol __asm__("name") renamed the definition to.

body: Block

The body.

uses_label_addrs: bool

Whether the body takes the address of a label — GNU’s &&label.

Such a function is lowered through a control-flow graph, where a computed goto is a switch over the labels whose address is taken. The parser records it because &&label is an expression and may sit anywhere one may — an initialiser, an argument, a block-scope static’s table — while the rest of the decision is read off the statements; see Parser::label_addrs. A nested function’s own &&label is its own business and does not set this.

range: SourceRange

Where the definition was written.

Trait Implementations

impl Clone for FunctionDef

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FunctionDef

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

Formats the value using the given formatter.

impl PartialEq for FunctionDef

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for FunctionDef