Clause / Subclause / Annex:
7.6.3
Comment type:
Ed
Comment / justification for change:
While undefined behaviour might be the best we can guarantee, it would be helpful to encourage implementations to diagnose function definitions that might execute a return.
Recommended change:
Adda a [Note : implementations are encouraged to issue a diagnostic where the definition of a function marked [[noreturn]] might execute a return statement — end note]
MB:
UK