C++ attribute: noreturn (since C++11)

Since C++11

Indicates that the function does not return.

# Example

[[noreturn]] void f()
{
    throw "error";
    // OK
}
 
void q [[noreturn]] (int i)
{
    // behavior is undefined if called with an argument <= 0
    if (i > 0)
        throw "positive";
}
 
// void h() [[noreturn]]; // error: attribute applied to function type of h, not h itself
 
int main()
{
    try { f(); } catch(...) {}
    try { q(42); } catch(...) {}
}

# Defect reports

DRApplied toBehavior as publishedCorrect behavior
CWG 2924C++11returning from a [[noreturn]] functionwould result in undefined behaviorresults in runtime-undefined behavior

# See also