Skip to content

Support _Noreturn, [[noreturn]], __attribute__((noreturn)) #2094

@ojeda

Description

@ojeda

Input C/C++ Header

C11:

_Noreturn void f(void);

C++11 (and potentially C2x with N2764):

[[noreturn]] void f();

GCC & Clang:

__attribute__((noreturn)) void f(void);

Actual Results

extern "C" {
    pub fn f();
}

Expected Results

extern "C" {
    pub fn f() -> !;
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions