From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 43838 invoked by alias); 10 May 2017 20:12:58 -0000 Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org Received: (qmail 43823 invoked by uid 89); 10 May 2017 20:12:57 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-24.2 required=5.0 tests=AWL,BAYES_00,GIT_PATCH_0,GIT_PATCH_1,GIT_PATCH_2,GIT_PATCH_3,RCVD_IN_DNSWL_NONE,RCVD_IN_SORBS_SPAM autolearn=ham version=3.3.2 spammy=our X-HELO: mail-it0-f52.google.com Received: from mail-it0-f52.google.com (HELO mail-it0-f52.google.com) (209.85.214.52) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Wed, 10 May 2017 20:12:56 +0000 Received: by mail-it0-f52.google.com with SMTP id c15so32099312ith.0 for ; Wed, 10 May 2017 13:12:59 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20161025; h=x-gm-message-state:mime-version:from:date:message-id:subject:to; bh=f/EOloQZGRo44n2xEgkAKq+qTdGVImuPI5Dtuv7CgdM=; b=X9zjT765ksSKG/8ig4ks7co+dtdcWLj58MJHPao6+OmBIiS43PsKDybDcGe/WZYebi EWN20fDU0ezEd4P2ZTpv9I4I5RHAcf/2hSmQIa6A0BoU1QuDeYYuRS4Ta2gINe2i+ekH SbhDkd8gZE0CGNDYNIJgIlragst4q2I5c+uE5XjHo2V9j2COy8Ey3XCcKRQCMHX2PBNE 5B35wtkeHKLWPJpqdqwjuDVLalABnQOt+TYfp7ecyqeF8dMMv44iqaOZoUWj9Uvb6pAY fKueh8JJ+O7E8xzUSBwSsICqiiHP1J1VKi1JCDAeHXyiF2tDC16HL4sFEJsFQoLJ/E/8 7dhw== X-Gm-Message-State: AODbwcCMDbUtf4YnAgow6oK9BiAbtiaEs1XUs0xzRU3kkj5cDfVkdpY9 VgcwJ1jcSVr1gosJS/G9NQ1SADzcoNdQGJ4= X-Received: by 10.36.78.10 with SMTP id r10mr7325023ita.110.1494447177475; Wed, 10 May 2017 13:12:57 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.6.226 with HTTP; Wed, 10 May 2017 13:12:36 -0700 (PDT) From: Jason Merrill Date: Wed, 10 May 2017 20:21:00 -0000 Message-ID: Subject: C++ PATCH for CWG DR 1847, partial ordering and non-deduced context To: gcc-patches List Content-Type: multipart/mixed; boundary=001a113732922679f5054f311973 X-IsSubscribed: yes X-SW-Source: 2017-05/txt/msg00823.txt.bz2 --001a113732922679f5054f311973 Content-Type: text/plain; charset=UTF-8 Content-length: 438 The resolution of Core DRs 1391 and 1847 clarified that function parameters that don't involve deducible template parameters are not considered for partial ordering. I also experimented with handling this at a finer-grained level, in unify, so that we would handle a typename vs. a concrete type even if there were other deducible template parameters, but that broke template/partial15.C. Tested x86_64-pc-linux-gnu, applying to trunk. --001a113732922679f5054f311973 Content-Type: text/plain; charset=US-ASCII; name="dr1847.diff" Content-Disposition: attachment; filename="dr1847.diff" Content-Transfer-Encoding: base64 X-Attachment-Id: f_j2jf90160 Content-length: 2371 Y29tbWl0IDhlNGY0NTUzNDc3ODFlMTYxYjczYTEyMTAzOGVmZDc2ZGMzNzZh YWEKQXV0aG9yOiBKYXNvbiBNZXJyaWxsIDxqYXNvbkByZWRoYXQuY29tPgpE YXRlOiAgIFdlZCBNYXIgMSAxNjo1NjoyMCAyMDE3IC0xMDAwCgogICAgICAg ICAgICBDV0cgMTg0NyAtIENsYXJpZnlpbmcgY29tcGF0aWJpbGl0eSBkdXJp bmcgcGFydGlhbCBvcmRlcmluZwogICAgCiAgICAgICAgICAgICogcHQuYyAo bW9yZV9zcGVjaWFsaXplZF9mbik6IE5vIG9yZGVyIGJldHdlZW4gdHdvIG5v bi1kZWR1Y2libGUKICAgICAgICAgICAgcGFyYW1ldGVycy4KCmRpZmYgLS1n aXQgYS9nY2MvY3AvcHQuYyBiL2djYy9jcC9wdC5jCmluZGV4IGI5ZTdhZjcu LjE3Mzk4YzkgMTAwNjQ0Ci0tLSBhL2djYy9jcC9wdC5jCisrKyBiL2djYy9j cC9wdC5jCkBAIC0yMTE4Miw2ICsyMTE4MiwxMyBAQCBtb3JlX3NwZWNpYWxp emVkX2ZuICh0cmVlIHBhdDEsIHRyZWUgcGF0MiwgaW50IGxlbikKICAgICAg ICAgICBsZW4gPSAwOwogICAgICAgICB9CiAKKyAgICAgIC8qIERSIDE4NDc6 IElmIGEgcGFydGljdWxhciBQIGNvbnRhaW5zIG5vIHRlbXBsYXRlLXBhcmFt ZXRlcnMgdGhhdAorCSBwYXJ0aWNpcGF0ZSBpbiB0ZW1wbGF0ZSBhcmd1bWVu dCBkZWR1Y3Rpb24sIHRoYXQgUCBpcyBub3QgdXNlZCB0bworCSBkZXRlcm1p bmUgdGhlIG9yZGVyaW5nLiAgKi8KKyAgICAgIGlmICghdXNlc19kZWR1Y2li bGVfdGVtcGxhdGVfcGFybXMgKGFyZzEpCisJICAmJiAhdXNlc19kZWR1Y2li bGVfdGVtcGxhdGVfcGFybXMgKGFyZzIpKQorCWdvdG8gbmV4dDsKKwogICAg ICAgaWYgKFRSRUVfQ09ERSAoYXJnMSkgPT0gUkVGRVJFTkNFX1RZUEUpCiAJ ewogCSAgcmVmMSA9IFRZUEVfUkVGX0lTX1JWQUxVRSAoYXJnMSkgKyAxOwpA QCAtMjEzMDMsNiArMjEzMTAsOCBAQCBtb3JlX3NwZWNpYWxpemVkX2ZuICh0 cmVlIHBhdDEsIHRyZWUgcGF0MiwgaW50IGxlbikKIAkgICBUaGVzZSBtdXN0 IGJlIHVub3JkZXJlZC4gICovCiAJYnJlYWs7CiAKKyAgICBuZXh0OgorCiAg ICAgICBpZiAoVFJFRV9DT0RFIChhcmcxKSA9PSBUWVBFX1BBQ0tfRVhQQU5T SU9OCiAgICAgICAgICAgfHwgVFJFRV9DT0RFIChhcmcyKSA9PSBUWVBFX1BB Q0tfRVhQQU5TSU9OKQogICAgICAgICAvKiBXZSBoYXZlIGFscmVhZHkgcHJv Y2Vzc2VkIGFsbCBvZiB0aGUgYXJndW1lbnRzIGluIG91cgpkaWZmIC0tZ2l0 IGEvZ2NjL3Rlc3RzdWl0ZS9nKysuZGcvdGVtcGxhdGUvcGFydGlhbC1vcmRl cjEuQyBiL2djYy90ZXN0c3VpdGUvZysrLmRnL3RlbXBsYXRlL3BhcnRpYWwt b3JkZXIxLkMKbmV3IGZpbGUgbW9kZSAxMDA2NDQKaW5kZXggMDAwMDAwMC4u MDgzMmVhNQotLS0gL2Rldi9udWxsCisrKyBiL2djYy90ZXN0c3VpdGUvZysr LmRnL3RlbXBsYXRlL3BhcnRpYWwtb3JkZXIxLkMKQEAgLTAsMCArMSwxOCBA QAorLy8geyBkZy1kbyBjb21waWxlIHsgdGFyZ2V0IGMrKzExIH0gfQorCit1 c2luZyBzaXplX3QgPSBkZWNsdHlwZShzaXplb2YoMCkpOwordGVtcGxhdGUg PGNsYXNzIFQ+IHN0cnVjdCBBCit7CisgIHVzaW5nIHNpemVfdHlwZSA9IHNp emVfdDsKK307CisKK3RlbXBsYXRlIDxjbGFzcyBUPgordm9pZCBmKHNpemVf dCwgVCk7CisKK3RlbXBsYXRlIDxjbGFzcyBUPgordm9pZCBmKHR5cGVuYW1l IEE8VD46OnNpemVfdHlwZSwgVCk7CisKK2ludCBtYWluKCkKK3sKKyAgZigx LDIpOwkJCS8vIHsgZGctZXJyb3IgImFtYmlndW91cyIgfQorfQo= --001a113732922679f5054f311973--