From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [216.205.24.124]) by sourceware.org (Postfix) with ESMTP id A27E13858D35 for ; Mon, 11 Oct 2021 19:48:20 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.1 sourceware.org A27E13858D35 Received: from mail-vk1-f197.google.com (mail-vk1-f197.google.com [209.85.221.197]) (Using TLS) by relay.mimecast.com with ESMTP id us-mta-535-sHfUcCpkONGGJ6ef-akawA-1; Mon, 11 Oct 2021 15:48:18 -0400 X-MC-Unique: sHfUcCpkONGGJ6ef-akawA-1 Received: by mail-vk1-f197.google.com with SMTP id y20-20020ac5c814000000b002a3ac46f9a1so1955274vkl.15 for ; Mon, 11 Oct 2021 12:48:18 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; h=x-gm-message-state:mime-version:references:in-reply-to:from:date :message-id:subject:to:cc:content-transfer-encoding; bh=EIRuEBCY0bGmKDdtgKBrWVyiCMyKOV134u8GxTTT7Go=; b=dd1fv82tr8yUA8pK3seXgoeXVhAseuKlD4WCwYRqoS3AwcJsnxdk08KPbkc/JgW+jS MMCRst0zOebln/5+BSHxBGRg+j88OyDJLcZiJFFqTeH4I+KGm+RjLhtJqJ44RBeGNqPX XJdrWAixW+jY63NIzihHQ8AvAGXRspdd/x70q1jJUOHgXkazQGqUS1GZLyNUwx4AWVEL iVlk3+il87kPGsbWt4kdI4NuZfIaSZ3S4VDhaN2dJA+bZGmUxQWQ2zx/lk8HDydBBFJV EH3X0zp2eBNuyXBx92MdaAqjemWwJKkVSrQRvTsJlC5kEV5CznD+u7/5N+bvt/GEEgZy 922w== X-Gm-Message-State: AOAM532nOd4PdfmvvgN4er/hmf5VxwyefnOCBCk1oGsu53Cd9FGC0VDl BnTcnm9IDunhX/zOCymDsPVRvuyaqguoAyhCeJBQu1lBjwxjrLaDKSPsPE96l90F1zKhtQTD/Z+ tbfnaUBCEQgrcE8BVGRDQ0lAHogx0Yik= X-Received: by 2002:ab0:1447:: with SMTP id c7mr2240304uae.2.1633981696762; Mon, 11 Oct 2021 12:48:16 -0700 (PDT) X-Google-Smtp-Source: ABdhPJywxc6LbxZtLMsXYSpM5LqYr/SxiwcOIx5B0LK1wgZarKnvRhyrI3Aa5teNUarNXqp8B9p3pvUCLGGaxUjxn34= X-Received: by 2002:ab0:1447:: with SMTP id c7mr2240267uae.2.1633981696420; Mon, 11 Oct 2021 12:48:16 -0700 (PDT) MIME-Version: 1.0 References: In-Reply-To: From: Jonathan Wakely Date: Mon, 11 Oct 2021 20:48:05 +0100 Message-ID: Subject: Re: [PATCH] libstdc++: Fix compare_three_way for constexpr and Clang To: Paul Keir Cc: "gcc-patches@gcc.gnu.org" , "libstdc++@gcc.gnu.org" X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Spam-Status: No, score=-6.9 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, KAM_SHORT, RCVD_IN_DNSWL_LOW, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_NONE, TXREP autolearn=ham autolearn_force=no version=3.4.4 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) 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: Mon, 11 Oct 2021 19:48:21 -0000 On Fri, 20 Aug 2021 at 21:19, Paul Keir wrote: > > Hi, > > The current compare_three_way implementation makes provision for constant= evaluation contexts (avoiding reinterpret_cast etc.), but the approach fai= ls with Clang; when it compares two const volatile void pointers: "comparis= on between unequal pointers to void has unspecified result". I include a fi= x and test. > > Could someone commit the attached patch for me? Sorry for dropping the ball on this again. I've applied the patch locally and I'm testing it now. Unless I'm mistaken, you do not have a copyright assignment on file with the FSF, is that right? Are you able to certify that you have the right to submit this to GCC, as described at https://gcc.gnu.org/dco.html ? Also, if GCC is failing to diagnose the invalid comparisons here then that should be reported to bugzilla as a c++ "accepts-invalid" bug.