From patchwork Thu Mar 30 22:25:52 2023 Content-Type: text/plain; charset="utf-8" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit X-Patchwork-Submitter: Jason Merrill X-Patchwork-Id: 77428 Return-Path: Delivered-To: ouuuleilei@gmail.com Received: by 2002:a59:b0ea:0:b0:3b6:4342:cba0 with SMTP id b10csp170345vqo; Thu, 30 Mar 2023 15:27:04 -0700 (PDT) X-Google-Smtp-Source: AKy350ab1TAoeIgkSnfl/LAfVhuJN0VhcItTS7TDlrV4NX14BxrnEb8tD3F9KIEvo6UdzDcfh3KF X-Received: by 2002:a17:906:4787:b0:933:89a1:57e6 with SMTP id cw7-20020a170906478700b0093389a157e6mr33244866ejc.26.1680215223920; Thu, 30 Mar 2023 15:27:03 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1680215223; cv=none; d=google.com; s=arc-20160816; b=TM/9nIH6PprvkQEMj17HYuVwEsjFqfZDxDplMLWhQWVwScT+boqX6Eo09/Lg/MeuKQ gaRy306n7ydwkvGkS67you52Soio/oqtKN/iZ2ws2TKR1nrCsLVpfEFX92rbsGF4ajx3 wlhAlkkkJc+kareiYyJDyCpEDEgzBYjp5TFPZEH+7TNr/KFfTEs2TY+J8aINmnWYLNqY NEDHcUq1XzXQy1YEy5M6udWZHcbVtEh2CrQipbIWBq3PZgADHVWKBtfFzuvRv7gurFo+ dY4+JB88mrT8viTNq78hg/DeiV1EwipoeN+PGUYzLBg9ntrcy73I/hN56wzvWXGmXHW1 JDUA== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=sender:errors-to:reply-to:from:list-subscribe:list-help:list-post :list-archive:list-unsubscribe:list-id:precedence :content-transfer-encoding:mime-version:message-id:date:subject:to :dmarc-filter:delivered-to:dkim-signature:dkim-filter; bh=j6n73Mbq2aNliorI/MllhAgX8FAKaDQ6z/RxuenzUuM=; b=ARZVPspvhQmWwMQJk8Eot5iDdiMmHAg8cCCxZkI2QWeA7DsrKmgTpboMdWh8z8chTA 2Mv/S7A0NGnhgi0gSfq3p8mN6f9RNOaPLJpIHg9dZ+hEeYpUatJ65k3zVkhJn6C9nj9s AmqM0l0jloA4VSYDT9kvTtRmqkufAa2r/60UxPstHR3CTspOF1dLj6T046Mr5gHwF7wo P5alz1XPaB6nihlMDeazgsAtUWEBA20+a3vB0+ctI38rYRybJCn6kUBbXy6CEIFFDvZH 9BJONbCPcMAX5ONXMEsfkwlYm2aQoUHKIEtfzVf4q6yc/l8YivrKfh0LHhXTiUWzla/z QD3w== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=pb9S3NkW; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from sourceware.org (server2.sourceware.org. [8.43.85.97]) by mx.google.com with ESMTPS id gz16-20020a170907a05000b009311eb6863dsi602229ejc.634.2023.03.30.15.27.03 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 30 Mar 2023 15:27:03 -0700 (PDT) Received-SPF: pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) client-ip=8.43.85.97; Authentication-Results: mx.google.com; dkim=pass header.i=@gcc.gnu.org header.s=default header.b=pb9S3NkW; spf=pass (google.com: domain of gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org designates 8.43.85.97 as permitted sender) smtp.mailfrom="gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org"; dmarc=pass (p=NONE sp=NONE dis=NONE) header.from=gnu.org Received: from server2.sourceware.org (localhost [IPv6:::1]) by sourceware.org (Postfix) with ESMTP id BA3A33857BA4 for ; Thu, 30 Mar 2023 22:26:43 +0000 (GMT) DKIM-Filter: OpenDKIM Filter v2.11.0 sourceware.org BA3A33857BA4 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gcc.gnu.org; s=default; t=1680215203; bh=j6n73Mbq2aNliorI/MllhAgX8FAKaDQ6z/RxuenzUuM=; h=To:Subject:Date:List-Id:List-Unsubscribe:List-Archive:List-Post: List-Help:List-Subscribe:From:Reply-To:From; b=pb9S3NkWcSpS0TSlHAgwdzT27hTHLciqpBOslPpv651G7P5FHfHxZj5kuC/rIoEPE h+qPWpWGgCHXsdgxZi+eeJLrmdOvsRlw2pty4Y0xdhTS95DwDVG7nphL7Ypxx1KAli lnZ/7xB8csic0PFDqdIJWQH0qdai5QvtDkUzfeVw= X-Original-To: gcc-patches@gcc.gnu.org Delivered-To: gcc-patches@gcc.gnu.org Received: from us-smtp-delivery-124.mimecast.com (us-smtp-delivery-124.mimecast.com [170.10.133.124]) by sourceware.org (Postfix) with ESMTPS id DE1A03858020 for ; Thu, 30 Mar 2023 22:25:58 +0000 (GMT) DMARC-Filter: OpenDMARC Filter v1.4.2 sourceware.org DE1A03858020 Received: from mail-qk1-f200.google.com (mail-qk1-f200.google.com [209.85.222.200]) by relay.mimecast.com with ESMTP with STARTTLS (version=TLSv1.3, cipher=TLS_AES_256_GCM_SHA384) id us-mta-562-UCyPHIrbM02evRBcyMPTUw-1; Thu, 30 Mar 2023 18:25:56 -0400 X-MC-Unique: UCyPHIrbM02evRBcyMPTUw-1 Received: by mail-qk1-f200.google.com with SMTP id t21-20020a37aa15000000b00746b7fae197so9543308qke.12 for ; Thu, 30 Mar 2023 15:25:56 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20210112; t=1680215156; h=content-transfer-encoding:mime-version:message-id:date:subject:to :from:x-gm-message-state:from:to:cc:subject:date:message-id:reply-to; bh=j6n73Mbq2aNliorI/MllhAgX8FAKaDQ6z/RxuenzUuM=; b=GEYp100zQ7y84DiKXIYeTzCXOrxIveBwEaa36kPCpyUlhoMV2SlhLPqGhYHEl0QGcZ wxrJXvFQZWREMb8U0qJE0zbl6odj2Cct4luwGK0xZPjf7eUQAzW2Gmo/cZTYQAZdBwoS JMbrFWLzowcTto5KzHnA3t8xMa5uDpGy9zok05dwERrBeE6LuElB6R8xijdTXMOOSMma Xpa9ZbrojwS1/pLGqkWqYc6ES4mP5lkTfyzsKd6FZZ8M02wYAIMArD4sOTj5EJrctm5Y zyprq32yvtX5zCUI+NirWZRODuhad5vZKixqirlzzKgKTs+Ruol2F4XUwdc1RE7xCi8L 1szQ== X-Gm-Message-State: AO0yUKUD7hoYRgjvHMT/UTHtTFVVHRIbuaqEW6gATLOFu6UuQ7B/u5N+ iDIdP9jnGcza0bqhSCQso3jljqPSOJUOwEesYMJBVQEID9eE5RKvtOoUYWwzFM/hOpkjzWac4px KXstM3wsTlISiZ1epOl1bKGobbUpeDrbj+ORb2HOlXzpCDMBQqdXdgC41iOQ60sC0mLO2VleBKg == X-Received: by 2002:ac8:5a48:0:b0:3d8:6b0d:f9a6 with SMTP id o8-20020ac85a48000000b003d86b0df9a6mr39964536qta.61.1680215156013; Thu, 30 Mar 2023 15:25:56 -0700 (PDT) X-Received: by 2002:ac8:5a48:0:b0:3d8:6b0d:f9a6 with SMTP id o8-20020ac85a48000000b003d86b0df9a6mr39964502qta.61.1680215155603; Thu, 30 Mar 2023 15:25:55 -0700 (PDT) Received: from jason.cygnus.com (130-44-146-16.s12558.c3-0.arl-cbr1.sbo-arl.ma.cable.rcncustomer.com. [130.44.146.16]) by smtp.gmail.com with ESMTPSA id x19-20020ac87313000000b003e302c1f498sm180072qto.37.2023.03.30.15.25.54 for (version=TLS1_3 cipher=TLS_AES_256_GCM_SHA384 bits=256/256); Thu, 30 Mar 2023 15:25:55 -0700 (PDT) To: gcc-patches@gcc.gnu.org Subject: [pushed] c++: generic lambda and function ptr conv [PR105221] Date: Thu, 30 Mar 2023 18:25:52 -0400 Message-Id: <20230330222552.793991-1-jason@redhat.com> X-Mailer: git-send-email 2.31.1 MIME-Version: 1.0 X-Mimecast-Spam-Score: 0 X-Mimecast-Originator: redhat.com X-Spam-Status: No, score=-12.5 required=5.0 tests=BAYES_00, DKIMWL_WL_HIGH, DKIM_SIGNED, DKIM_VALID, DKIM_VALID_AU, DKIM_VALID_EF, GIT_PATCH_0, RCVD_IN_DNSWL_NONE, RCVD_IN_MSPIKE_H2, SPF_HELO_NONE, SPF_NONE, TXREP 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: gcc-patches@gcc.gnu.org X-Mailman-Version: 2.1.29 Precedence: list List-Id: Gcc-patches mailing list List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-Patchwork-Original-From: Jason Merrill via Gcc-patches From: Jason Merrill Reply-To: Jason Merrill Errors-To: gcc-patches-bounces+ouuuleilei=gmail.com@gcc.gnu.org Sender: "Gcc-patches" X-getmail-retrieved-from-mailbox: =?utf-8?q?INBOX?= X-GMAIL-THRID: =?utf-8?q?1761833358900968060?= X-GMAIL-MSGID: =?utf-8?q?1761833358900968060?= Tested x86_64-pc-linux-gnu, applying to trunk. -- 8< -- We weren't properly considering the function pointer conversions in deduction between FUNCTION_TYPE; we just hardcoded the UNIFY_ALLOW_MORE_CV_QUAL semantics, which are backwards when deducing for a template conversion function like the one in a generic lambda. And when I started checking the ALLOW flags, I needed to make sure they stay set to avoid breaking trailing13.C. PR c++/105221 gcc/cp/ChangeLog: * pt.cc (unify) [FUNCTION_TYPE]: Handle function pointer conversions. gcc/testsuite/ChangeLog: * g++.dg/cpp1z/noexcept-type27.C: New test. --- gcc/cp/pt.cc | 33 ++++++++++++++++++-- gcc/testsuite/g++.dg/cpp1z/noexcept-type27.C | 8 +++++ 2 files changed, 38 insertions(+), 3 deletions(-) create mode 100644 gcc/testsuite/g++.dg/cpp1z/noexcept-type27.C base-commit: 83d2b1ccd17d394d546a38562815ef83daa05e85 diff --git a/gcc/cp/pt.cc b/gcc/cp/pt.cc index e514a277872..dd7f0db9658 100644 --- a/gcc/cp/pt.cc +++ b/gcc/cp/pt.cc @@ -24472,9 +24472,12 @@ unify (tree tparms, tree targs, tree parm, tree arg, int strict, return unify_cv_qual_mismatch (explain_p, parm, arg); if (!(strict & UNIFY_ALLOW_OUTER_LEVEL) - && TYPE_P (parm) && !CP_TYPE_CONST_P (parm)) + && TYPE_P (parm) && !CP_TYPE_CONST_P (parm) + && !FUNC_OR_METHOD_TYPE_P (parm)) strict &= ~UNIFY_ALLOW_MORE_CV_QUAL; - strict &= ~UNIFY_ALLOW_OUTER_LEVEL; + /* PMFs recurse at the same level, so don't strip this yet. */ + if (!TYPE_PTRMEMFUNC_P (parm)) + strict &= ~UNIFY_ALLOW_OUTER_LEVEL; strict &= ~UNIFY_ALLOW_DERIVED; strict &= ~UNIFY_ALLOW_OUTER_MORE_CV_QUAL; strict &= ~UNIFY_ALLOW_OUTER_LESS_CV_QUAL; @@ -25022,7 +25025,31 @@ unify (tree tparms, tree targs, tree parm, tree arg, int strict, RECUR_AND_CHECK_FAILURE (tparms, targs, TREE_PURPOSE (pspec), TREE_PURPOSE (aspec), UNIFY_ALLOW_NONE, explain_p); - else if (nothrow_spec_p (pspec) && !nothrow_spec_p (aspec)) + else + { + bool pn = nothrow_spec_p (pspec); + bool an = nothrow_spec_p (aspec); + /* Here "less cv-qual" means the deduced arg (i.e. parm) has + /more/ noexcept, since function pointer conversions are the + reverse of qualification conversions. */ + if (an == pn + || (an < pn && (strict & UNIFY_ALLOW_LESS_CV_QUAL)) + || (an > pn && (strict & UNIFY_ALLOW_MORE_CV_QUAL))) + /* OK. */; + else + return unify_type_mismatch (explain_p, parm, arg); + } + } + if (flag_tm) + { + /* As for noexcept. */ + bool pn = tx_safe_fn_type_p (parm); + bool an = tx_safe_fn_type_p (arg); + if (an == pn + || (an < pn && (strict & UNIFY_ALLOW_LESS_CV_QUAL)) + || (an > pn && (strict & UNIFY_ALLOW_MORE_CV_QUAL))) + /* OK. */; + else return unify_type_mismatch (explain_p, parm, arg); } diff --git a/gcc/testsuite/g++.dg/cpp1z/noexcept-type27.C b/gcc/testsuite/g++.dg/cpp1z/noexcept-type27.C new file mode 100644 index 00000000000..a691f695389 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp1z/noexcept-type27.C @@ -0,0 +1,8 @@ +// PR c++/105221 +// { dg-do compile { target c++14 } } + +void (*p)(int) = [](auto) noexcept {}; + +int main() { + true ? [](auto) noexcept {} : [](int) {}; +}