From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from esa1.mentor.iphmx.com (esa1.mentor.iphmx.com [68.232.129.153]) by sourceware.org (Postfix) with ESMTPS id 64604381E6C7 for ; Thu, 6 Oct 2022 21:46:11 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 64604381E6C7 Authentication-Results: sourceware.org; dmarc=none (p=none dis=none) header.from=codesourcery.com Authentication-Results: sourceware.org; spf=pass smtp.mailfrom=mentor.com X-IronPort-AV: E=Sophos;i="5.95,164,1661846400"; d="scan'208";a="87052750" Received: from orw-gwy-01-in.mentorg.com ([192.94.38.165]) by esa1.mentor.iphmx.com with ESMTP; 06 Oct 2022 13:46:10 -0800 IronPort-SDR: ZwL3NE95r7qHQaUX7pc9V9xvqwghAt2athmAPMr88NKSNRyJqgmq9azHO4y30x4rE33uQAssYz qoF77lc/vrC5oWpaKaYf1XmnS3Xf21H/dRIeiRBhtx8/tfJBAmXCKxhq/E4+zs2/m3HwXzmPeE 7TLPjesfYfFqnqZe5o4s+9OX9LMRs8eSc+5fI61Gt+UoFLUubFbcQB8NGKJsblZQ9KWBMqvuRm a/hC5/QbhJZbZWYcLOr01qsSfh5XYn/zVHywpw2YCi4QSBy5xqWCNsXVsNu1zbaiddw/GqrFF+ 2uo= Date: Thu, 6 Oct 2022 21:46:06 +0000 From: Joseph Myers X-X-Sender: jsm28@digraph.polyomino.org.uk To: FX CC: , Jakub Jelinek Subject: Re: [PATCH] Add __builtin_iseqsig() In-Reply-To: <43356B54-A446-450A-80F8-620120ED1FCC@gmail.com> Message-ID: References: <127A04DF-0BC1-40B4-956A-B22C39F97BF9@gmail.com> <3FD18835-D09C-4073-B23F-DD1038D4D0AC@gmail.com> <43356B54-A446-450A-80F8-620120ED1FCC@gmail.com> User-Agent: Alpine 2.22 (DEB 394 2020-01-19) MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" X-Originating-IP: [137.202.0.90] X-ClientProxiedBy: SVR-IES-MBX-08.mgc.mentorg.com (139.181.222.8) To svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) X-Spam-Status: No, score=-3110.8 required=5.0 tests=BAYES_00,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,SPF_HELO_PASS,SPF_PASS,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: My reading of the bug given as a reason for not testing that FE_INVALID is raised for (both quiet and signaling) NaN arguments is that it's specifically about constant arguments. That is, it ought to be possible to have a testcase that verifies FE_INVALID is raised when appropriate (and not when inappropriate) provided the arguments come from volatile variables rather than directly from constants. (There would still need to be a powerpc*-*-* XFAIL referencing bug 58684.) Only a test for constant arguments would need to wait on a fix for bug 106805. -- Joseph S. Myers joseph@codesourcery.com