From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 85242 invoked by alias); 27 Nov 2018 22:40: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 85224 invoked by uid 89); 27 Nov 2018 22:40:58 -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=Hx-languages-length:771, oliva, visits X-HELO: mail-qt1-f172.google.com Received: from mail-qt1-f172.google.com (HELO mail-qt1-f172.google.com) (209.85.160.172) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Tue, 27 Nov 2018 22:40:57 +0000 Received: by mail-qt1-f172.google.com with SMTP id n21so23746977qtl.6 for ; Tue, 27 Nov 2018 14:40:56 -0800 (PST) Return-Path: Received: from [192.168.1.149] (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 q17sm3407660qtc.19.2018.11.27.14.40.54 (version=TLS1_2 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128/128); Tue, 27 Nov 2018 14:40:54 -0800 (PST) Subject: Re: [PATCH] [PR86397] set p_t_decl while canonicalizing eh specs for mangling To: Alexandre Oliva , gcc-patches@gcc.gnu.org Cc: nathan@acm.org References: From: Jason Merrill Message-ID: Date: Tue, 27 Nov 2018 22:40: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-11/txt/msg02250.txt.bz2 On 11/22/18 6:40 PM, Alexandre Oliva wrote: > Mangling visits the base template function type, prior to template > resolution, and on such types, exception specifications may contain > unresolved noexcept expressions. nothrow_spec_p is called on them > even when exception specifications are not part of function types, and > it rejects unresolved noexcept expressions if processing_template_decl > is not set. The problem here is that the noexcept expression is unresolved even though it isn't dependent; it should have been resolved to 'true'. Ideally with a warning, since using the name of a function as a boolean value is pretty strange. nothrow_spec_p is right to reject this. Jason