From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: X-Spam-Status: No, score=-1.1 required=5.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,MAILING_LIST_MULTI,RCVD_IN_MSPIKE_H2 autolearn=ham autolearn_force=no version=3.4.4 Received: (qmail 32295 invoked from network); 24 Feb 2023 17:00:34 -0000 Received: from second.openwall.net (193.110.157.125) by inbox.vuxu.org with ESMTPUTF8; 24 Feb 2023 17:00:34 -0000 Received: (qmail 22076 invoked by uid 550); 24 Feb 2023 17:00:32 -0000 Mailing-List: contact musl-help@lists.openwall.com; run by ezmlm Precedence: bulk List-Post: List-Help: List-Unsubscribe: List-Subscribe: List-ID: Reply-To: musl@lists.openwall.com Received: (qmail 22044 invoked from network); 24 Feb 2023 17:00:31 -0000 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=inria.fr; s=dc; h=date:from:to:cc:subject:message-id:in-reply-to: references:mime-version; bh=YqN5qz0eo875TGl+w4OqUy/63FGSMe/jZ7d8N+dLauI=; b=W09ahou51Qi+wefE3ZoX5spwMFDnVPQWDuO81R5xkDnRBzPHux4nlH7V 8i9Km5S+V/g4zd8JpSnnD3KJrqsRn3Hv8QURwqzuyEVdnZ2KELuVOB7YJ 9H/pfHb1WN9a/rJ9VhZyByZGJW47TQPw8xSua8GFo43GLa+1YH2BIZGwR U=; Authentication-Results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=jens.gustedt@inria.fr; dmarc=fail (p=none dis=none) d=inria.fr X-IronPort-AV: E=Sophos;i="5.97,325,1669071600"; d="scan'208";a="48580269" Date: Fri, 24 Feb 2023 18:00:18 +0100 From: =?UTF-8?B?SuKCkeKCmeKCmw==?= Gustedt To: Tamir Duberstein Cc: musl@lists.openwall.com, NRK , Rich Felker Message-ID: <20230224180018.7d58ea44@inria.fr> In-Reply-To: References: <20230224133413.GE4163@brightrain.aerifal.cx> <20230224135511.iunglqtcvpjeqgtv@gen2.localdomain> <20230224140739.GF4163@brightrain.aerifal.cx> <20230224141731.dm4w7fbfkczbx42e@gen2.localdomain> <20230224151334.ycgddzdc4o5a4m5q@gen2.localdomain> <20230224174010.7b8e2401@inria.fr> Organization: inria.fr X-Mailer: Claws Mail 4.0.0 (GTK+ 3.24.33; x86_64-pc-linux-gnu) X-Face: iVBORw0KGgoAAAANSUhEUgAAADAAAAAwBAMAAAClLOS0AAAAAXNSR0IArs4c6QAAACRQTFRFERslNjAsLTE9Ok9wUk9TaUs8iWhSrYZkj42Rz6aD3sGZ MIME-Version: 1.0 Content-Type: multipart/signed; boundary="Sig_/1D1JmHkkXiV8SLs_whW24.h"; protocol="application/pgp-signature"; micalg=pgp-sha1 Subject: Re: [musl] undefined behavior in fread.c --Sig_/1D1JmHkkXiV8SLs_whW24.h Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Tamir, on Fri, 24 Feb 2023 11:42:30 -0500 you (Tamir Duberstein ) wrote: > Internal UB means "applying zero offset to null pointer" when the > caller passes (NULL, _, 0, _). So you mean internal misbehavior? > Does such an attribute exist? Yes, gcc has the nonnull old-style attribute, and I think that the C23 versions of gcc and clang will have something like `[[gnu::nonnull]]`. Having this as attribute of the function and not of the pointer is a bit unfortunate. For non-void pointers you could also use the `[static 1]` array parameter notation instead of a pointer. J=E2=82=91=E2=82=99=E2=82=9B --=20 :: ICube :::::::::::::::::::::::::::::: deputy director :: :: Universit=C3=A9 de Strasbourg :::::::::::::::::::::: ICPS :: :: INRIA Nancy Grand Est :::::::::::::::::::::::: Camus :: :: :::::::::::::::::::::::::::::::::::: =E2=98=8E +33 368854536 :: :: https://icube-icps.unistra.fr/index.php/Jens_Gustedt :: --Sig_/1D1JmHkkXiV8SLs_whW24.h Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iF0EARECAB0WIQSN9stI2OFN1pLljN0P0+hp2tU34gUCY/jtIgAKCRAP0+hp2tU3 4pauAJ9h6m6Q7+NYit4OqIS6fzqprP16DgCgl8OKwZ9IPT3D6x8vcmACNVJJH5s= =/xTC -----END PGP SIGNATURE----- --Sig_/1D1JmHkkXiV8SLs_whW24.h--