NetBSD Problem Report #58620

From www@netbsd.org  Tue Aug 20 20:41:33 2024
Return-Path: <www@netbsd.org>
Received: from mail.netbsd.org (mail.netbsd.org [199.233.217.200])
	(using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits)
	 key-exchange X25519 server-signature RSA-PSS (2048 bits)
	 client-signature RSA-PSS (2048 bits))
	(Client CN "mail.NetBSD.org", Issuer "mail.NetBSD.org CA" (not verified))
	by mollari.NetBSD.org (Postfix) with ESMTPS id 51D451A923F
	for <gnats-bugs@gnats.NetBSD.org>; Tue, 20 Aug 2024 20:41:33 +0000 (UTC)
Message-Id: <20240820204131.E91EE1A9242@mollari.NetBSD.org>
Date: Tue, 20 Aug 2024 20:41:31 +0000 (UTC)
From: campbell+netbsd@mumble.net
Reply-To: campbell+netbsd@mumble.net
To: gnats-bugs@NetBSD.org
Subject: C23: <stddef.h> unreachable() macro
X-Send-Pr-Version: www-1.0

>Number:         58620
>Category:       standards
>Synopsis:       C23: <stddef.h> unreachable() macro
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    standards-manager
>State:          closed
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Aug 20 20:45:00 +0000 2024
>Closed-Date:    Tue Apr 01 00:42:55 +0000 2025
>Last-Modified:  Tue Apr 01 00:42:55 +0000 2025
>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!

>Release-Note:

>Audit-Trail:
From: "Taylor R Campbell" <riastradh@netbsd.org>
To: gnats-bugs@gnats.NetBSD.org
Cc: 
Subject: PR/58620 CVS commit: src
Date: Tue, 1 Apr 2025 00:33:55 +0000

 Module Name:	src
 Committed By:	riastradh
 Date:		Tue Apr  1 00:33:55 UTC 2025

 Modified Files:
 	src/distrib/sets/lists/debug: mi
 	src/distrib/sets/lists/tests: mi
 	src/sys/sys: stddef.h
 	src/tests/include: Makefile
 Added Files:
 	src/tests/include: t_stddef.c

 Log Message:
 stddef.h: New nullptr_t, unreachable().

 Define __STDC_VERSION_STDDEF_H__ while here.

 Order content according to standard, and quote the relevant clauses,
 to make it easier to audit.

 PR standards/58605: C23: __STDC_*_H__ versions
 PR standards/58620: C23: <stddef.h> unreachable() macro
 PR standards/58621: C23: <stddef.h> nullptr_t


 To generate a diff of this commit:
 cvs rdiff -u -r1.471 -r1.472 src/distrib/sets/lists/debug/mi
 cvs rdiff -u -r1.1363 -r1.1364 src/distrib/sets/lists/tests/mi
 cvs rdiff -u -r1.1 -r1.2 src/sys/sys/stddef.h
 cvs rdiff -u -r1.10 -r1.11 src/tests/include/Makefile
 cvs rdiff -u -r0 -r1.1 src/tests/include/t_stddef.c

 Please note that diffs are not public domain; they are subject to the
 copyright notices on the relevant files.

State-Changed-From-To: open->closed
State-Changed-By: riastradh@NetBSD.org
State-Changed-When: Tue, 01 Apr 2025 00:42:55 +0000
State-Changed-Why:
fixed in HEAD, API pullups generally not worthwhile because packages
are normally built against x.0 releases


>Unformatted:

Home	PR Database Search