From e97c94888969b416c239fcaa027770d9b0157323 Mon Sep 17 00:00:00 2001 From: Nathan Sidwell Date: Wed, 30 May 2001 08:44:56 +0000 Subject: [PATCH] re PR c++/2936 (gcc gives me an internal error when compiling mozilla with --enable-optimization="-O3") cp: PR g++/2936 * decl.c (finish_anon_union): Copy context. * optimize.c (remap_decl): Remap anonymous aggregate members too. testsuite: * g++.old-deja/g++.other/optimize3.C: New file. From-SVN: r42705 --- gcc/cp/ChangeLog | 6 +++ gcc/cp/optimize.c | 23 ++++++++++- gcc/testsuite/ChangeLog | 4 ++ .../g++.old-deja/g++.other/optimize3.C | 38 +++++++++++++++++++ 4 files changed, 69 insertions(+), 2 deletions(-) create mode 100644 gcc/testsuite/g++.old-deja/g++.other/optimize3.C diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog index 2792f45fd10..e78635c8e8b 100644 --- a/gcc/cp/ChangeLog +++ b/gcc/cp/ChangeLog @@ -1,3 +1,9 @@ +2001-05-30 Nathan Sidwell + + PR g++/2936 + * decl.c (finish_anon_union): Copy context. + * optimize.c (remap_decl): Remap anonymous aggregate members too. + 2001-05-26 Nathan Sidwell PR g++/2823 diff --git a/gcc/cp/optimize.c b/gcc/cp/optimize.c index f81d7e38ae3..8676dd80bcc 100644 --- a/gcc/cp/optimize.c +++ b/gcc/cp/optimize.c @@ -106,8 +106,7 @@ static void update_cloned_parm PARAMS ((tree, tree)); decisions about when a function is too big to inline. */ #define INSNS_PER_STMT (10) -/* Remap DECL during the copying of the BLOCK tree for the function. - DATA is really an `inline_data *'. */ +/* Remap DECL during the copying of the BLOCK tree for the function. */ static tree remap_decl (decl, id) @@ -149,6 +148,26 @@ remap_decl (decl, id) copy_body_r, id, NULL); } + if (!DECL_NAME (t) && TREE_TYPE (t) + && ANON_AGGR_TYPE_P (TREE_TYPE ((t)))) + { + /* For a VAR_DECL of anonymous type, we must also copy the + member VAR_DECLS here and rechain the + DECL_ANON_UNION_ELEMS. */ + tree members = NULL; + tree src; + + for (src = DECL_ANON_UNION_ELEMS (t); src; + src = TREE_CHAIN (src)) + { + tree member = remap_decl (TREE_VALUE (src), id); + + my_friendly_assert (!TREE_PURPOSE (src), 20010529); + members = tree_cons (NULL, member, members); + } + DECL_ANON_UNION_ELEMS (t) = nreverse (members); + } + /* Remember it, so that if we encounter this local entity again we can reuse this copy. */ n = splay_tree_insert (id->decl_map, diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 49d5a43d098..c5126b7020c 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,7 @@ +2001-05-30 Nathan Sidwell + + * g++.old-deja/g++.other/optimize3.C: New file. + 2001-05-29 Jeffrey Oldham * gcc.c-torture/compile/20010518-2.x: New file to compile, not diff --git a/gcc/testsuite/g++.old-deja/g++.other/optimize3.C b/gcc/testsuite/g++.old-deja/g++.other/optimize3.C new file mode 100644 index 00000000000..737aabb3a7a --- /dev/null +++ b/gcc/testsuite/g++.old-deja/g++.other/optimize3.C @@ -0,0 +1,38 @@ +// Special g++ Options: -O2 +// +// Copyright (C) 2001 Free Software Foundation, Inc. +// Contributed by Nathan Sidwell 29 May 2001 + +// Bug 2936. We ICE'd on tree inlining a function with an anonymous +// union decl. + +inline const unsigned char *Foo (const char *string) +{ + union + { + const char *p1; + const unsigned char *p2; + }; + p1 = 0; + p2 = 0; + + + p1 = string; + return p2; + +} + +const unsigned char *Baz (const char *string) +{ + return Foo (string); +} + +int main () +{ + const char *string = "s"; + const unsigned char *result; + + result = Baz (string); + return (static_cast (result) + != static_cast (string)); +}