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 3F7213858D3C; Thu, 1 Sep 2022 16:44:20 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 3F7213858D3C 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.93,281,1654588800"; d="scan'208";a="85075645" Received: from orw-gwy-02-in.mentorg.com ([192.94.38.167]) by esa1.mentor.iphmx.com with ESMTP; 01 Sep 2022 08:44:18 -0800 IronPort-SDR: 9eaOceT8kGo3AYROzM8bFF2TxCupbWHnSiF4rWPyL63oJXEJ9Mu5/tVVhydMn/QYiLRzKVYh23 joFTSnuo3UG8orLYuIQQIArUHcBmsEFhHx0eYh1qPkaGjBxpM2AIDqfCdeGybAhh4cGhUCUzRu tp0zD7Djb00l6YGzusdAJ68nudmF97evbTep0+2oVj3FlPR9rpKeDxuvrLm2zkgOX55Ii1W4Hx LLVC3YMYxMohVtf2mVkkwCC+gSY6XGm+YcD+oB3ocn6/VLWGAzkavIsLP9zBnLRHN79BTeAQl4 we0= Date: Thu, 1 Sep 2022 16:44:15 +0000 From: Joseph Myers X-X-Sender: jsm28@digraph.polyomino.org.uk To: FX CC: Jakub Jelinek , , FX via Fortran Subject: Re: Floating-point comparisons in the middle-end In-Reply-To: <121CB5DE-35AD-4A8A-86A2-D74016CC8F87@gmail.com> Message-ID: References: <8C6DDAA3-A40F-47C7-BE78-D56A3EC70C71@gmail.com> <3BD50DD7-5C9E-42CB-992C-A66584411A4F@gmail.com> <121CB5DE-35AD-4A8A-86A2-D74016CC8F87@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-07.mgc.mentorg.com (139.181.222.7) To svr-ies-mbx-10.mgc.mentorg.com (139.181.222.10) X-Spam-Status: No, score=-3111.4 required=5.0 tests=BAYES_00,HEADER_FROM_DIFFERENT_DOMAINS,KAM_DMARC_STATUS,SPF_HELO_PASS,SPF_PASS,TXREP,T_SCC_BODY_TEXT_LINE 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 Thu, 1 Sep 2022, FX via Gcc wrote: > Do you want me to file a bug report? Yes. -- Joseph S. Myers joseph@codesourcery.com