Proposed resolution:

Change [support.start.term] p3:

-2- ...

void abort [[noreturn]] (void)

-3- ...

-6- ...

void exit [[noreturn]] (int status)

-7- ...

-11- ...

void quick_exit [[noreturn]] (int status)

-12- ...

Change the <exception> synopsis in [support.exception]:

void unexpected [[noreturn]] ();
...
void terminate [[noreturn]] ();
...
void rethrow_exception [[noreturn]] (exception_ptr p);
...
template <class T> void throw_with_nested [[noreturn]] (T&& t); // [[noreturn]]

Change [unexpected]:

void unexpected [[noreturn]] ();

Change [terminate]:

void terminate [[noreturn]] ();

Change [propagation]:

void rethrow_exception [[noreturn]] (exception_ptr p);

In the synopsis of [except.nested] and the definition area change:

template <class T> void throw_with_nested [[noreturn]] (T&& t); // [[noreturn]]

[ Batavia (2009-05): ]

We agree with the proposed resolution. Move to Tentatively Ready.

[ Summit: ]

Agreed.

Addresses UK 189 and JP 27 [CD1]

The addition of the [[noreturn]] attribute to the language will be an important aid for static analysis tools.

The following functions should be declared in C++ with the [[noreturn]] attribute: abort exit quick_exit terminate unexpected rethrow_exception throw_with_nested.