From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 82562 invoked by alias); 5 Apr 2016 21:21:59 -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 82549 invoked by uid 89); 5 Apr 2016 21:21:58 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.6 required=5.0 tests=BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 spammy=target_exprs, H*F:D*acm.org, H*Ad:D*acm.org X-HELO: mail-pa0-f46.google.com Received: from mail-pa0-f46.google.com (HELO mail-pa0-f46.google.com) (209.85.220.46) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Tue, 05 Apr 2016 21:21:57 +0000 Received: by mail-pa0-f46.google.com with SMTP id zm5so18207505pac.0 for ; Tue, 05 Apr 2016 14:21:57 -0700 (PDT) X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:subject:to:references:cc:from:message-id :date:user-agent:mime-version:in-reply-to:content-transfer-encoding; bh=sVGv4Lf72uGCZbgDTsGDydp8tHWZt6gHg4TYhcKi0ok=; b=kEl/N+lKMPRdAZ8vNCKVRjLX7LCqgjPkbWSFgHckoEyu5TF1j1V/2byc/Wd13hSquh l5uYNJOwLYZqQkcDKJoUFs2HVOxjo0Cupwmh6JX62lLtPsVimzevXDzxQPEhqB9iHrMs 9TteZMOZdfqdlgkZgcGkSDk1Uq1OVgH69lshZrCg4akzaMVqAZ2FPQQU3EhtDW0sU7Dh UTOONDPCzoAN7iaVrgd1XoHxQdNjcMNetbDjynfoeszK4WzHs3phL0Ye9GJwl5gOnyo4 TUOQymc632DvcE3l7fVF2Phj3K4TzVaFRBfY5UjXWJIEl2aPXlgqhB+3X7ExofS1tP7Y MzEQ== X-Gm-Message-State: AD7BkJLsdhfGvyzXTBgo4nVyojnyEbbdA9/hSZiAO1XQl7cP5uyPc7bVrQPKIR3dYYQUOg== X-Received: by 10.66.150.163 with SMTP id uj3mr29681915pab.23.1459891315534; Tue, 05 Apr 2016 14:21:55 -0700 (PDT) Received: from [172.20.6.13] ([174.47.225.3]) by smtp.googlemail.com with ESMTPSA id ey7sm9809642pab.47.2016.04.05.14.21.54 (version=TLSv1/SSLv3 cipher=OTHER); Tue, 05 Apr 2016 14:21:54 -0700 (PDT) Subject: Re: [C++ PATCH] PR 70501, ICE in verify ctor sanity To: Jason Merrill References: <5702A3C5.20103@acm.org> <570414B0.7090703@redhat.com> Cc: GCC Patches From: Nathan Sidwell Message-ID: <57042C71.5000205@acm.org> Date: Tue, 05 Apr 2016 21:21:00 -0000 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.7.1 MIME-Version: 1.0 In-Reply-To: <570414B0.7090703@redhat.com> Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit X-SW-Source: 2016-04/txt/msg00261.txt.bz2 On 04/05/16 12:40, Jason Merrill wrote: > It's not clear to me that we really need a TARGET_EXPR for vector values. Since > one element of a vector can't refer to another, we don't need the ctx->ctor > handling. Perhaps we should handle vectors like we do PMF types in > cxx_eval_bare_aggregate? That may be abstractly better, but we do currently wrap constructors in target_exprs for vector compound_literals (which is what I was following). See the get_target_expr_sfinae calls in finish_compound_literal for instance. That happens for the '(v4si){(0, 0)}' subexpression of the testcase. nathan