From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 31973 invoked by alias); 1 Feb 2006 02:51:20 -0000 Received: (qmail 31943 invoked by alias); 1 Feb 2006 02:51:17 -0000 Date: Wed, 01 Feb 2006 02:51:00 -0000 Message-ID: <20060201025117.31942.qmail@sourceware.org> X-Bugzilla-Reason: CC References: Subject: [Bug c++/25342] [3.4/4.0/4.1/4.2 Regression] internal compiler error: in lookup_member, at cp/search.c:1209 In-Reply-To: Reply-To: gcc-bugzilla@gcc.gnu.org To: gcc-bugs@gcc.gnu.org From: "mmitchel at gcc dot gnu dot org" Mailing-List: contact gcc-bugs-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Archive: List-Post: List-Help: Sender: gcc-bugs-owner@gcc.gnu.org X-SW-Source: 2006-02/txt/msg00024.txt.bz2 List-Id: ------- Comment #7 from mmitchel at gcc dot gnu dot org 2006-02-01 02:51 ------- Subject: Bug 25342 Author: mmitchel Date: Wed Feb 1 02:51:13 2006 New Revision: 110466 URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=110466 Log: PR c++/25342 * cp-tree.h (DECL_TEMPLATE_SPECIALIZATIONS): Revise documentation. * pt.c (determine_specialization): Use INNERMOST_TEMPLATE_PARMS, not TREE_VALUE. (instantiate_class_template): Simplify. (verify_class_unification): Remove. (unify): Document parameters. Use INNERMOST_TEMPLATE_ARGS to permit multiple levels of template arguments. (more_specialized_class): Simplify. (get_class_bindings): Pass full arguments to unify. Fold verify_class_unification into this function. Return full arguments. (most_specialized_class): Adjust for changes to get_class_bindings. Issue errors here for ambiguity. Return the fully deduced arguments for the most specialized class, in addition to the partial specialization. PR c++/25342 * g++.gd/template/partial4.C: New test. Added: trunk/gcc/testsuite/g++.dg/template/partial4.C Modified: trunk/gcc/cp/ChangeLog trunk/gcc/cp/cp-tree.h trunk/gcc/cp/pt.c trunk/gcc/testsuite/ChangeLog -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=25342