FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR c++/6179 (EH regression test failure for STLport-4.5.3)

Browse source 
PR c++/6179
        * method.c (implicitly_declare_fn): Pass unqualified type to
        synthesize_exception_spec.

From-SVN: r51954
This commit is contained in:
Jason Merrill 2002-04-06 10:59:14 -05:00 • committed by Jason Merrill
parent 8e9603b0c2
commit f62ea15730
3 changed files with 40 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/cp/ChangeLog
View file

@ -1,3 +1,9 @@
2002-04-06 Jason Merrill <jason@redhat.com>
PR c++/6179
* method.c (implicitly_declare_fn): Pass unqualified type to
synthesize_exception_spec.
2002-04-04 Neil Booth <neil@daikokuya.demon.co.uk>
* cp-lang.c (LANG_HOOKS_TRUTHVALUE_CONVERSION): Redefine.

13
gcc/cp/method.c
View file

@ -770,8 +770,9 @@ synthesize_method (fndecl)
/* Use EXTRACTOR to locate the relevant function called for each base &
class field of TYPE. CLIENT allows additional information to be passed
to EXTRACTOR. Generates the union of all exceptions generated by
those functions. */
to EXTRACTOR. Generates the union of all exceptions generated by those
functions. Note that we haven't updated TYPE_FIELDS and such of any
variants yet, so we need to look at the main one. */
static tree
synthesize_exception_spec (type, extractor, client)
@ -783,7 +784,7 @@ synthesize_exception_spec (type, extractor, client)
tree fields = TYPE_FIELDS (type);
int i, n_bases = CLASSTYPE_N_BASECLASSES (type);
tree binfos = TYPE_BINFO_BASETYPES (type);
for (i = 0; i != n_bases; i++)
{
tree base = BINFO_TYPE (TREE_VEC_ELT (binfos, i));
@ -962,7 +963,7 @@ implicitly_declare_fn (kind, type, const_p)
case sfk_assignment_operator:
{
struct copy_data data;
tree argtype;
tree argtype = type;
has_parm = 1;
data.name = NULL;
@ -978,10 +979,10 @@ implicitly_declare_fn (kind, type, const_p)
if (const_p)
{
data.quals = TYPE_QUAL_CONST;
type = build_qualified_type (type, TYPE_QUAL_CONST);
argtype = build_qualified_type (argtype, TYPE_QUAL_CONST);
}
argtype = build_reference_type (type);
argtype = build_reference_type (argtype);
args = build_tree_list (hash_tree_chain (argtype, NULL_TREE),
get_identifier ("_ctor_arg"));
args = tree_cons (NULL_TREE, args, void_list_node);

27
gcc/testsuite/g++.dg/eh/synth1.C Normal file
View file

@ -0,0 +1,27 @@
// PR c++/6179
// Bug: we tried to look at the fields of 'const A' to determine the proper
// exception specification for the synthesized copy constructor, but
// TYPE_FIELDS hadn't been set yet, so we incorrectly got a throw() spec.
struct B
{
B () {}
B (const B&) { throw 1; }
};
struct A;
void f (const A &) {}
struct A
{
B b;
};
int main ()
{
A a;
try
{ A a2 (a); }
catch (...)
{ }
}