From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from rock.gnat.com (rock.gnat.com [IPv6:2620:20:4000:0:a9e:1ff:fe9b:1d1]) by sourceware.org (Postfix) with ESMTPS id A63993835767; Wed, 22 Jun 2022 07:01:36 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org A63993835767 Received: from localhost (localhost.localdomain [127.0.0.1]) by filtered-rock.gnat.com (Postfix) with ESMTP id 21279116101; Wed, 22 Jun 2022 03:01:36 -0400 (EDT) X-Virus-Scanned: Debian amavisd-new at gnat.com Received: from rock.gnat.com ([127.0.0.1]) by localhost (rock.gnat.com [127.0.0.1]) (amavisd-new, port 10024) with LMTP id iqKB6X4YrbD9; Wed, 22 Jun 2022 03:01:36 -0400 (EDT) Received: from free.home (tron.gnat.com [IPv6:2620:20:4000:0:46a8:42ff:fe0e:e294]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by rock.gnat.com (Postfix) with ESMTPS id D1A221160E5; Wed, 22 Jun 2022 03:01:35 -0400 (EDT) Received: from livre (livre.home [172.31.160.2]) by free.home (8.15.2/8.15.2) with ESMTPS id 25M71SdG724984 (version=TLSv1.2 cipher=ECDHE-RSA-AES256-GCM-SHA384 bits=256 verify=NOT); Wed, 22 Jun 2022 04:01:29 -0300 From: Alexandre Oliva To: Sebastian Huber Cc: gcc-patches@gcc.gnu.org, libstdc++@gcc.gnu.org, RTEMS Subject: Re: [PATCH] libstdc++: testsuite: fs rename to self may fail Organization: Free thinker, does not speak for AdaCore References: <4fe20709-e617-7644-175c-bd49b52dc6c2@embedded-brains.de> Errors-To: aoliva@lxoliva.fsfla.org Date: Wed, 22 Jun 2022 04:01:28 -0300 In-Reply-To: <4fe20709-e617-7644-175c-bd49b52dc6c2@embedded-brains.de> (Sebastian Huber's message of "Wed, 22 Jun 2022 08:33:57 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.2 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-Scanned-By: MIMEDefang 2.84 X-Spam-Status: No, score=-6.4 required=5.0 tests=BAYES_00, KAM_DMARC_STATUS, SPF_HELO_NONE, SPF_PASS, TXREP, T_SCC_BODY_TEXT_LINE autolearn=ham autolearn_force=no version=3.4.6 X-Spam-Checker-Version: SpamAssassin 3.4.6 (2021-04-09) on server2.sourceware.org X-BeenThere: libstdc++@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Libstdc++ mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Wed, 22 Jun 2022 07:01:42 -0000 Hello, Sebastian, On Jun 22, 2022, Sebastian Huber wrote: > On 22/06/2022 08:24, Alexandre Oliva via Libstdc++ wrote: >> rtems6's rename() implementation errors with EEXIST when the rename-to >> filename exists, even when renaming a file to itself or when renaming >> a nonexisting file. Adjust expectations. >> >> Regstrapped on x86_64-linux-gnu, also tested with a cross to >> aarch64-rtems6. Ok to install? >> >> PS:https://devel.rtems.org/ticket/2169 doesn't seem to suggest plans to >> change behavior so as to comply with POSIX. > I would not adjust the test case to cope with systems which are not in > line with POSIX. My understanding is that the libstdc++ testsuite is not meant to test for POSIX conformance, but for conformance with the C++ language standards. C++ inherits rename from C, and C says the behavior is implementation defined if the new name already exists. RTEMS is thus comformant with the requirements from C (and thus C++), and it is therefore reasonable for libstdc++'s testsuite to accept RTEMS' behavior as such. That said, because libstdc++ tests are all-or-nothing, perhaps it would make sense to have a separate test for strict POSIX conformance in rename, XFAILed on RTEMS targets. How about that? -- Alexandre Oliva, happy hacker https://FSFLA.org/blogs/lxo/ Free Software Activist GNU Toolchain Engineer Disinformation flourishes because many people care deeply about injustice but very few check the facts. Ask me about