From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <fxcoudert@gmail.com>
Received: from mail-wm1-x331.google.com (mail-wm1-x331.google.com
 [IPv6:2a00:1450:4864:20::331])
 by sourceware.org (Postfix) with ESMTPS id 6F44C3858D1E;
 Thu,  1 Sep 2022 18:15:49 +0000 (GMT)
DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org 6F44C3858D1E
Received: by mail-wm1-x331.google.com with SMTP id
 h204-20020a1c21d5000000b003a5b467c3abso1839880wmh.5; 
 Thu, 01 Sep 2022 11:15:49 -0700 (PDT)
X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
 d=1e100.net; s=20210112;
 h=to:references:message-id:content-transfer-encoding:cc:date
 :in-reply-to:from:subject:mime-version:x-gm-message-state:from:to:cc
 :subject:date;
 bh=pUGa61XJNtItRULGXv++m9zjZHv9jv+Y+U9LXcyRqt0=;
 b=ZjzKy3UwNFK8hFhbUDxP7yaCVloarggYwubQgqqBEUz0SMsG5N9Eyi1nUydLplKZFy
 CpGi9tyXUC37ow/019XDzVePu7MOV7T5AirzkTOl4aCgXio/teZE4oUW80IDAacbJ6Hv
 H4fI2pJ6IRbcUAjCP0xfh1qQNhyweC3R+d7rY9/7rfGAZEHiFF7Dz4OG0jB1F5ttIAwB
 KS9Vzj/tw1or8rAHta/qretqWZJemd2ELr1fDhFYjN8/vX6UM14S/T3W8m7yZHsBYoIE
 1JUYi8gjEnqI+k4WLYYbAhpKhXrmNufd17VOxziYg1drQbxmh3Ic6ljK3BEaFruJB/85
 SW/A==
X-Gm-Message-State: ACgBeo2DExvuc/beYM+CFmnl4VzofIPasjRwxZyYo33w6bsy7V8NUwbZ
 LSEu2Es2C1R+56jMxOl0dN8=
X-Google-Smtp-Source: AA6agR43lQo6DLC55QxIHVYI3zdk2x4HfssYOTYC+FquLMt3mAiMgSl35NmFxhq0dP5GpoiFeGcOAg==
X-Received: by 2002:a05:600c:22cd:b0:3a6:7b62:3778 with SMTP id
 13-20020a05600c22cd00b003a67b623778mr252185wmg.45.1662056148065; 
 Thu, 01 Sep 2022 11:15:48 -0700 (PDT)
Received: from smtpclient.apple ([2a01:e34:ec28:8cb0:4043:c6cc:4e14:1048])
 by smtp.gmail.com with ESMTPSA id
 t64-20020a1c4643000000b003a673055e68sm6858814wma.0.2022.09.01.11.15.46
 (version=TLS1_2 cipher=ECDHE-ECDSA-AES128-GCM-SHA256 bits=128/128);
 Thu, 01 Sep 2022 11:15:47 -0700 (PDT)
Content-Type: text/plain;
	charset=us-ascii
Mime-Version: 1.0 (Mac OS X Mail 16.0 \(3696.120.41.1.1\))
Subject: Re: Floating-point comparisons in the middle-end
From: FX <fxcoudert@gmail.com>
In-Reply-To: <alpine.DEB.2.22.394.2209011643530.550568@digraph.polyomino.org.uk>
Date: Thu, 1 Sep 2022 20:15:46 +0200
Cc: Jakub Jelinek <jakub@redhat.com>, gcc@gcc.gnu.org,
 FX via Fortran <fortran@gcc.gnu.org>
Content-Transfer-Encoding: 7bit
Message-Id: <EE5CE9FD-8D93-43E8-9149-0099B83716C8@gmail.com>
References: <8C6DDAA3-A40F-47C7-BE78-D56A3EC70C71@gmail.com>
 <YxBrLzoOag91YQ27@tucnak> <3BD50DD7-5C9E-42CB-992C-A66584411A4F@gmail.com>
 <YxB6GGjkTdUFY+iz@tucnak> <E72E260E-69AC-4A3E-9349-F0A037DDCAC9@gmail.com>
 <alpine.DEB.2.22.394.2209011520170.550568@digraph.polyomino.org.uk>
 <121CB5DE-35AD-4A8A-86A2-D74016CC8F87@gmail.com>
 <alpine.DEB.2.22.394.2209011643530.550568@digraph.polyomino.org.uk>
To: Joseph Myers <joseph@codesourcery.com>
X-Mailer: Apple Mail (2.3696.120.41.1.1)
X-Spam-Status: No, score=-0.9 required=5.0 tests=BAYES_00, DKIM_SIGNED,
 DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, FREEMAIL_FROM, KAM_LINKBAIT3,
 KAM_SHORT, RCVD_IN_DNSWL_NONE, SPF_HELO_NONE, 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
X-BeenThere: gcc@gcc.gnu.org
X-Mailman-Version: 2.1.29
Precedence: list
List-Id: Gcc mailing list <gcc.gcc.gnu.org>
List-Unsubscribe: <https://gcc.gnu.org/mailman/options/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=unsubscribe>
List-Archive: <https://gcc.gnu.org/pipermail/gcc/>
List-Post: <mailto:gcc@gcc.gnu.org>
List-Help: <mailto:gcc-request@gcc.gnu.org?subject=help>
List-Subscribe: <https://gcc.gnu.org/mailman/listinfo/gcc>,
 <mailto:gcc-request@gcc.gnu.org?subject=subscribe>
X-List-Received-Date: Thu, 01 Sep 2022 18:15:50 -0000

For the record, this is now PR 106805
https://gcc.gnu.org/bugzilla/show_bug.cgi?id=106805

FX