From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from joooj.vinc17.net (joooj.vinc17.net [155.133.131.76]) by sourceware.org (Postfix) with ESMTPS id 4D27B3858C74 for ; Mon, 20 Mar 2023 10:42:54 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org 4D27B3858C74 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=vinc17.net Authentication-Results: sourceware.org; spf=none smtp.mailfrom=vinc17.net Received: from smtp-zira.vinc17.net (128.119.75.86.rev.sfr.net [86.75.119.128]) by joooj.vinc17.net (Postfix) with ESMTPSA id E4D9767E; Mon, 20 Mar 2023 11:42:51 +0100 (CET) Received: by zira.vinc17.org (Postfix, from userid 1000) id BDE4A2800239; Mon, 20 Mar 2023 11:42:51 +0100 (CET) Date: Mon, 20 Mar 2023 11:42:51 +0100 From: Vincent Lefevre To: Andreas Schwab Cc: Alejandro Colomar , libc-alpha@sourceware.org, Stephan Bergmann , Paul Eggert , Simon Chopin Subject: Re: UB status of snprintf on invalid ptr+size combination? Message-ID: <20230320104251.GF390223@zira.vinc17.org> Mail-Followup-To: Vincent Lefevre , Andreas Schwab , Alejandro Colomar , libc-alpha@sourceware.org, Stephan Bergmann , Paul Eggert , Simon Chopin 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> MIME-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: X-Mailer-Info: https://www.vinc17.net/mutt/ User-Agent: Mutt/2.2.9+71 (caea3018) vl-149028 (2023-03-14) X-Spam-Status: No, score=-1.5 required=5.0 tests=BAYES_00,KAM_DMARC_STATUS,KAM_LAZY_DOMAIN_SECURITY,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 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. -- Vincent Lefèvre - Web: 100% accessible validated (X)HTML - Blog: Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)