NetBSD Problem Report #58622

From www@netbsd.org  Tue Aug 20 20:44:52 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 69F7B1A923F
	for <gnats-bugs@gnats.NetBSD.org>; Tue, 20 Aug 2024 20:44:52 +0000 (UTC)
Message-Id: <20240820204451.52E061A9242@mollari.NetBSD.org>
Date: Tue, 20 Aug 2024 20:44:51 +0000 (UTC)
From: campbell+netbsd@mumble.net
Reply-To: campbell+netbsd@mumble.net
To: gnats-bugs@NetBSD.org
Subject: C23: <stdckdint.h> checked integer operations
X-Send-Pr-Version: www-1.0

>Number:         58622
>Category:       standards
>Synopsis:       C23: <stdckdint.h> checked integer operations
>Confidential:   no
>Severity:       serious
>Priority:       medium
>Responsible:    standards-manager
>State:          open
>Class:          sw-bug
>Submitter-Id:   net
>Arrival-Date:   Tue Aug 20 20:45:01 +0000 2024
>Originator:     Taylor R Campbell
>Release:        current
>Organization:
The ckd_NetBSD Foundation
>Environment:
>Description:
#include <stdckdint.h>
bool ckd_add(type1 *result, type2 a, type3 b);
bool ckd_sub(type1 *result, type2 a, type3 b);
bool ckd_mul(type1 *result, type2 a, type3 b);

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

Home	PR Database Search