From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <gcc-prs-return-31874-listarch-gcc-prs=gcc.gnu.org@gcc.gnu.org>
Received: (qmail 29298 invoked by alias); 24 Mar 2003 17:46:58 -0000
Mailing-List: contact gcc-prs-help@gcc.gnu.org; run by ezmlm
Precedence: bulk
List-Archive: <http://gcc.gnu.org/ml/gcc-prs/>
List-Post: <mailto:gcc-prs@gcc.gnu.org>
List-Help: <mailto:gcc-prs-help@gcc.gnu.org>
Sender: gcc-prs-owner@gcc.gnu.org
Received: (qmail 29276 invoked by uid 48); 24 Mar 2003 17:46:57 -0000
Date: Mon, 24 Mar 2003 17:47:00 -0000
Message-ID: <20030324174657.29275.qmail@sources.redhat.com>
To: gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org, jkanze@caicheuvreux.com,
  nathan@gcc.gnu.org
From: nathan@gcc.gnu.org
Reply-To: nathan@gcc.gnu.org, gcc-bugs@gcc.gnu.org, gcc-prs@gcc.gnu.org,
  jkanze@caicheuvreux.com, nathan@gcc.gnu.org, gcc-gnats@gcc.gnu.org
Subject: Re: c++/9708: Unifies non-constant
X-SW-Source: 2003-03/txt/msg01604.txt.bz2
List-Id: <gcc-prs.sourceware.org>

Synopsis: Unifies non-constant

State-Changed-From-To: analyzed->closed
State-Changed-By: nathan
State-Changed-When: Mon Mar 24 17:46:57 2003
State-Changed-Why:
    2003-03-22  Nathan Sidwell  <nathan@codesourcery.com>
    
    	PR c++/9978, c++/9708
    	* cp-tree.h (instantiate_template): Add tsubst_flags parameter.
    	* call.c (add_template_candidate_real): Adjust
    	instantiate_template call.
    	* class.c (resolve_address_of_overloaded_function): Likewise.
    	* decl.c (build_enumerator): Set TREE_CONSTANT.
    	* pt.c (check_instantiated_args): New.
    	(push_inline_template_parms_recursive): Set TREE_CONSTANT,
    	TREE_READONLY.
    	(build_template_parm_index): Copy TREE_CONSTANT, TREE_READONLY.
    	(reduce_template_parm_level): Likewise.
    	(process_template_parm): Likewise.
    	(check_explicit_specialization): Adjust instantiate_template call.
    	(convert_template_argument): Don't check non-type argument here.
    	(lookup_template_class): Check them here.
    	(tsubst_friend_function): Adjust instantiate_template call.
    	(instantiate_template): Add tsubst_flags parameter, use it. Check
    	instantiated args.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=9708