From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 123517 invoked by alias); 17 Mar 2018 12:31:28 -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 123498 invoked by uid 89); 17 Mar 2018 12:31:26 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-1.9 required=5.0 tests=BAYES_00,T_RP_MATCHES_RCVD autolearn=ham version=3.3.2 spammy= X-HELO: mx1.redhat.com Received: from mx1.redhat.com (HELO mx1.redhat.com) (209.132.183.28) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with ESMTP; Sat, 17 Mar 2018 12:31:25 +0000 Received: from smtp.corp.redhat.com (int-mx04.intmail.prod.int.phx2.redhat.com [10.5.11.14]) (using TLSv1.2 with cipher AECDH-AES256-SHA (256/256 bits)) (No client certificate requested) by mx1.redhat.com (Postfix) with ESMTPS id 493E34E4C6 for ; Sat, 17 Mar 2018 12:31:24 +0000 (UTC) Received: from freie.home (ovpn04.gateway.prod.ext.phx2.redhat.com [10.5.9.4]) by smtp.corp.redhat.com (Postfix) with ESMTPS id 0BA805DA2A for ; Sat, 17 Mar 2018 12:31:23 +0000 (UTC) Received: from livre (livre.home [172.31.160.2]) by freie.home (8.15.2/8.15.2) with ESMTP id w2HCVI6a168885; Sat, 17 Mar 2018 09:31:18 -0300 From: Alexandre Oliva To: gcc-patches@gcc.gnu.org Subject: Re: [PR c++/71965] silence multi-dim array init sorry without tf_error References: Date: Sat, 17 Mar 2018 12:43:00 -0000 In-Reply-To: (Alexandre Oliva's message of "Sat, 17 Mar 2018 09:11:26 -0300") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.3 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain X-SW-Source: 2018-03/txt/msg00839.txt.bz2 On Mar 17, 2018, Alexandre Oliva wrote: > We shouldn't substitute templates into short-circuited-out concepts > constraints, but we do, and to add insult to injury, we issue a > sorry() error when a concept that shouldn't even have been substituted > attempts to perform a multi-dimensional array initialization with a > new{} expression. > Although fixing the requirements short-circuiting is probably too > risky at this point, we can get closer to the intended effect by > silencing that sorry just as we silence other errors. Err... Regstrapped on i686- and x86_64-linux-gnu. Ok to install? > for gcc/cp/ChangeLog > PR c++/71965 > * init.c (build_vec_init): Silence sorry without tf_error. > for gcc/testsuite/ChangeLog > PR c++/71965 > * g++.dg/concepts/pr71965.C: New. -- Alexandre Oliva, freedom fighter http://FSFLA.org/~lxoliva/ You must be the change you wish to see in the world. -- Gandhi Be Free! -- http://FSFLA.org/ FSF Latin America board member Free Software Evangelist|Red Hat Brasil GNU Toolchain Engineer