From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail-out.m-online.net (mail-out.m-online.net [212.18.0.10]) by sourceware.org (Postfix) with ESMTPS id 132443858C74 for ; Mon, 20 Mar 2023 10:45:00 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 132443858C74 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=linux-m68k.org Authentication-Results: sourceware.org; spf=none smtp.mailfrom=linux-m68k.org Received: from frontend01.mail.m-online.net (unknown [192.168.8.182]) by mail-out.m-online.net (Postfix) with ESMTP id 4PgBFj2GQmz1s94h; Mon, 20 Mar 2023 11:44:57 +0100 (CET) Received: from localhost (dynscan1.mnet-online.de [192.168.6.70]) by mail.m-online.net (Postfix) with ESMTP id 4PgBFj0C2Pz1qqlW; Mon, 20 Mar 2023 11:44:56 +0100 (CET) X-Virus-Scanned: amavisd-new at mnet-online.de Received: from mail.mnet-online.de ([192.168.8.182]) by localhost (dynscan1.mail.m-online.net [192.168.6.70]) (amavisd-new, port 10024) with ESMTP id M_najXG1oRa8; Mon, 20 Mar 2023 11:44:56 +0100 (CET) X-Auth-Info: POvLgK7RvvmXqcQjYTGUGo7kLaU74a9G+bOBvM+1vJca8mDhOvRBdRyrSF2SPgxE Received: from hawking (unknown [81.95.8.244]) (using TLSv1.3 with cipher TLS_AES_256_GCM_SHA384 (256/256 bits) key-exchange ECDHE (P-256) server-signature RSA-PSS (2048 bits) server-digest SHA256) (No client certificate requested) by mail.mnet-online.de (Postfix) with ESMTPSA; Mon, 20 Mar 2023 11:44:56 +0100 (CET) From: Andreas Schwab To: Vincent Lefevre Cc: Alejandro Colomar , libc-alpha@sourceware.org, Stephan Bergmann , Paul Eggert , Simon Chopin Subject: Re: UB status of snprintf on invalid ptr+size combination? References: <20230315123949.GC73312@zira.vinc17.org> <92810b6e-e7e6-6ffd-d33a-067b9f300059@redhat.com> <20230318020725.GA15308@zira.vinc17.org> <9c8cae93-cb8c-8689-1f0e-2b87514d3702@gmail.com> <20230318105827.GB15308@zira.vinc17.org> <875yayyuh8.fsf@igel.home> <20230319224809.GC390223@zira.vinc17.org> <87ilewiat8.fsf@igel.home> <20230320041057.GE390223@zira.vinc17.org> <20230320104251.GF390223@zira.vinc17.org> X-Yow: I'm also pre-POURED pre-MEDITATED and pre-RAPHAELITE!! Date: Mon, 20 Mar 2023 11:44:55 +0100 In-Reply-To: <20230320104251.GF390223@zira.vinc17.org> (Vincent Lefevre's message of "Mon, 20 Mar 2023 11:42:51 +0100") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit X-Spam-Status: No, score=-11.3 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,KAM_LAZY_DOMAIN_SECURITY,RCVD_IN_DNSWL_LOW,RCVD_IN_MSPIKE_H3,RCVD_IN_MSPIKE_WL,SPF_HELO_NONE,SPF_NONE,TXREP autolearn=no autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org List-Id: On Mär 20 2023, Vincent Lefevre wrote: > On 2023-03-20 10:19:13 +0100, Andreas Schwab wrote: >> On Mär 20 2023, Vincent Lefevre wrote: >> >> > So, you mean that _exit() may have undefined behavior while _Exit() >> > has a well-defined behavior? (as this would match your definition >> > of equivalence.) >> >> That's a logical fallacy. > > Not more than saying that memcpy and memmove are equivalent. No. -- Andreas Schwab, schwab@linux-m68k.org GPG Key fingerprint = 7578 EB47 D4E5 4D69 2510 2552 DF73 E780 A9DA AEC1 "And now for something completely different."