From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 48285 invoked by alias); 14 Dec 2018 20:31:46 -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 48262 invoked by uid 89); 14 Dec 2018 20:31:44 -0000 Authentication-Results: sourceware.org; auth=none X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,RCVD_IN_DNSWL_NONE autolearn=ham version=3.3.2 spammy=unacceptable X-HELO: mail-qt1-f179.google.com Received: from mail-qt1-f179.google.com (HELO mail-qt1-f179.google.com) (209.85.160.179) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Fri, 14 Dec 2018 20:31:42 +0000 Received: by mail-qt1-f179.google.com with SMTP id e5so7621092qtr.12 for ; Fri, 14 Dec 2018 12:31:41 -0800 (PST) Return-Path: Received: from [192.168.1.132] (209-6-216-142.s141.c3-0.smr-cbr1.sbo-smr.ma.cable.rcncustomer.com. [209.6.216.142]) by smtp.gmail.com with ESMTPSA id v32sm3812983qta.37.2018.12.14.12.31.38 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Fri, 14 Dec 2018 12:31:39 -0800 (PST) Subject: Re: [C++ PATCH] [PR c++/87814] undefer deferred noexcept on tsubst if request To: Alexandre Oliva , gcc-patches@gcc.gnu.org References: From: Jason Merrill Message-ID: <47fe9b29-a9e8-127b-acc5-0db527b0795c@redhat.com> Date: Fri, 14 Dec 2018 20:31:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.3.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes X-SW-Source: 2018-12/txt/msg01091.txt.bz2 On 12/6/18 7:19 PM, Alexandre Oliva wrote: > tsubst_expr and tsubst_copy_and_build are not expected to handle > DEFERRED_NOEXCEPT exprs, but if tsubst_exception_specification takes a > DEFERRED_NOEXCEPT expr with !defer_ok, it just passes the expr on for > tsubst_copy_and_build to barf. > > This patch arranges for tsubst_exception_specification to combine the > incoming args with those already stored in a DEFERRED_NOEXCEPT, and > then substitute them into the pattern, when retaining a deferred > noexcept is unacceptable. > > Regstrapped on x86_64- and i686-linux-gnu, mistakenly along with a patch > with a known regression, and got only that known regression. Retesting > without it. Ok to install? OK. Jason