OpenE2K/gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

pt.c (copy_default_args_to_explicit_spec): Preserve object's CV quals.

Browse Source 
cp:
	* pt.c (copy_default_args_to_explicit_spec): Preserve
	object's CV quals. Reorganize.
testsuite:
	* g++.old-deja/g++.pt/spec34.C: New test.

From-SVN: r39127
This commit is contained in:
Nathan Sidwell 2001-01-19 09:19:33 +00:00 committed by Nathan Sidwell
parent 7c6a32d25b
commit 08c2df0f4f
4 changed files with 55 additions and 22 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/cp/ChangeLog
View File

@ -1,3 +1,8 @@
2001-01-19 Nathan Sidwell <nathan@codesourcery.com>
* pt.c (copy_default_args_to_explicit_spec): Preserve
object's CV quals. Reorganize.
2001-01-18 Nathan Sidwell <nathan@codesourcery.com>
* typeck.c (build_modify_expr): Say `initialization' for

49
gcc/cp/pt.c
View File

@ -1207,6 +1207,8 @@ copy_default_args_to_explicit_spec (decl)
tree old_type;
tree new_type;
tree t;
tree object_type = NULL_TREE;
tree in_charge = NULL_TREE;
/* See if there's anything we need to do. */
tmpl = DECL_TI_TEMPLATE (decl);
@ -1220,40 +1222,43 @@ copy_default_args_to_explicit_spec (decl)
old_type = TREE_TYPE (decl);
spec_types = TYPE_ARG_TYPES (old_type);
/* DECL may contain more parameters than TMPL due to the extra
in-charge parameter in constructors and destructors. */
if (DECL_NONSTATIC_MEMBER_FUNCTION_P (decl))
{
/* Remove the this pointer, but remember the object's type for
CV quals. */
object_type = TREE_TYPE (TREE_VALUE (spec_types));
spec_types = TREE_CHAIN (spec_types);
tmpl_types = TREE_CHAIN (tmpl_types);
if (DECL_HAS_IN_CHARGE_PARM_P (decl))
spec_types = TREE_CHAIN (spec_types);
{
/* DECL may contain more parameters than TMPL due to the extra
in-charge parameter in constructors and destructors. */
in_charge = spec_types;
spec_types = TREE_CHAIN (spec_types);
}
}
/* Compute the merged default arguments. */
new_spec_types =
copy_default_args_to_explicit_spec_1 (spec_types, tmpl_types);
/* Put the extra parameters back together -- but note that
build_cplus_method_type will automatically add the `this'
pointer. */
if (DECL_NONSTATIC_MEMBER_FUNCTION_P (decl)
&& DECL_HAS_IN_CHARGE_PARM_P (decl))
{
tree t = TREE_CHAIN (TYPE_ARG_TYPES (old_type));
new_spec_types = hash_tree_cons (TREE_PURPOSE (t),
TREE_VALUE (t),
new_spec_types);
}
/* Compute the new FUNCTION_TYPE. */
if (TREE_CODE (old_type) == METHOD_TYPE)
new_type = build_cplus_method_type (TYPE_METHOD_BASETYPE (old_type),
TREE_TYPE (old_type),
new_spec_types);
if (object_type)
{
if (in_charge)
/* Put the in-charge parameter back. */
new_spec_types = hash_tree_cons (TREE_PURPOSE (in_charge),
TREE_VALUE (in_charge),
new_spec_types);
new_type = build_cplus_method_type (object_type,
TREE_TYPE (old_type),
new_spec_types);
}
else
new_type = build_function_type (TREE_TYPE (old_type),
new_spec_types);
new_spec_types);
new_type = build_type_attribute_variant (new_type,
TYPE_ATTRIBUTES (old_type));
new_type = build_exception_variant (new_type,
@ -1500,7 +1505,7 @@ check_explicit_specialization (declarator, decl, template_count, flags)
else if (TREE_CODE (TREE_OPERAND (declarator, 0)) == LOOKUP_EXPR)
{
/* A friend declaration. We can't do much, because we don't
know what this resolves to, yet. */
know what this resolves to, yet. */
my_friendly_assert (is_friend != 0, 0);
my_friendly_assert (!explicit_instantiation, 0);
SET_DECL_IMPLICIT_INSTANTIATION (decl);
@ -1641,7 +1646,7 @@ check_explicit_specialization (declarator, decl, template_count, flags)
return tmpl;
}
/* If we though that the DECL was a member function, but it
/* If we thought that the DECL was a member function, but it
turns out to be specializing a static member function,
make DECL a static member function as well. */
if (DECL_STATIC_FUNCTION_P (tmpl)

4
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,7 @@
2001-01-19 Nathan Sidwell <nathan@codesourcery.com>
* g++.old-deja/g++.pt/spec34.C: New test.
2001-01-19 "Billinghurst, David (CRTS)" <David.Billinghurst@riotinto.com>
* g77.f-torture/compile/20000601-2.f: New test.

19
gcc/testsuite/g++.old-deja/g++.pt/spec34.C Normal file
View File

@ -0,0 +1,19 @@
// Build don't link:
// Copyright (C) 2000 Free Software Foundation, Inc.
// Contributed by Nathan Sidwell 17 Jan 2001 <nathan@codesourcery.com>
// Bug 1632. In copying default args from a template to a specialization, we
// lost the object's CV quals, leading to an utterly confusing error message.
struct X;
template <int dim> struct Y
{
X *f (int i = 0) const;
};
template <> X *Y<2>::f (int i) const
{
return f (i);
}