standards/58620: C23: <stddef.h> unreachable() macro

[campbell+netbsd%mumble.net@localhost]

>Number:         58620
>Category:       standards
>Synopsis:       C23: <stddef.h> unreachable() macro
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    standards-manager
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Aug 20 20:45:00 +0000 2024
>Originator:     Taylor R Campbell
>Release:        current
>Organization:
The UnreachableBSD Foundation
>Environment:
>Description:
> #include <stddef.h>
> void unreachable(void);
> 
> A call to the function-like macro unreachable indicates that the particular flow control that leads to the call will never be taken; it receives no arguments and expands to a void expression. The program execution shall not reach such a call.

https://www.open-std.org/jtc1/sc22/wg14/www/docs/n3096.pdf#page=332
>How-To-Repeat:
standards inspection
>Fix:
Yes, please!