From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 26967 invoked by alias); 24 Jun 2011 12:33:54 -0000 Received: (qmail 26956 invoked by uid 22791); 24 Jun 2011 12:33:54 -0000 X-SWARE-Spam-Status: No, hits=-2.2 required=5.0 tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,SPF_HELO_PASS,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from smtp-out.google.com (HELO smtp-out.google.com) (74.125.121.67) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Fri, 24 Jun 2011 12:33:40 +0000 Received: from wpaz29.hot.corp.google.com (wpaz29.hot.corp.google.com [172.24.198.93]) by smtp-out.google.com with ESMTP id p5OCXbIs014362 for ; Fri, 24 Jun 2011 05:33:38 -0700 Received: from gwj15 (gwj15.prod.google.com [10.200.10.15]) by wpaz29.hot.corp.google.com with ESMTP id p5OCXai6009209 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=NOT) for ; Fri, 24 Jun 2011 05:33:36 -0700 Received: by gwj15 with SMTP id 15so3882626gwj.25 for ; Fri, 24 Jun 2011 05:33:36 -0700 (PDT) MIME-Version: 1.0 Received: by 10.151.29.4 with SMTP id g4mr3670251ybj.13.1308918816388; Fri, 24 Jun 2011 05:33:36 -0700 (PDT) Received: by 10.151.142.15 with HTTP; Fri, 24 Jun 2011 05:33:36 -0700 (PDT) In-Reply-To: <4E03F22C.9040208@redhat.com> References: <4E03F22C.9040208@redhat.com> Date: Fri, 24 Jun 2011 13:12:00 -0000 Message-ID: Subject: Re: C++ PATCH for c++/35255 (address of template-id) From: Diego Novillo To: Jason Merrill Cc: gcc-patches List Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-System-Of-Record: true X-IsSubscribed: yes 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 X-SW-Source: 2011-06/txt/msg01867.txt.bz2 On Thu, Jun 23, 2011 at 22:10, Jason Merrill wrote: > Per DR 115, if the context of a template-id doesn't give enough type > information to resolve it and the template-id fully resolves exactly one > specialization, we should use that one. =C2=A0The code in > resolve_overloaded_unification was trying to do this, but was failing to > handle the case where there are additional templates that aren't fully > resolved. > > Tested x86_64-pc-linux-gnu, applying to trunk. Patch missing.