re PR c++/10515 (problem when initializing a field in a union)

	PR c++/10515
	* g++.dg/ext/desig1.C: New test.
	* g++.dg/ext/init1.C: Likewise.

	PR c++/10515
	* cp-tree.h (lookup_field_1): Declare it.
	* search.c (lookup_field_1): Make it public.
	* decl.c (reshape_init): Handle designated initializers.

From-SVN: r66235

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 97bcb2357783de66e79ddc985b51b7d993b7605c..98d9fdbdc67ef4342d2e241ac8908c17d21e885b 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -5,6 +5,11 @@
 
 2003-04-29  Mark Mitchell  <mark@codesourcery.com>
 
+       PR c++/10515
+       * cp-tree.h (lookup_field_1): Declare it.
+       * search.c (lookup_field_1): Make it public.
+       * decl.c (reshape_init): Handle designated initializers.
+
        * decl.c (maybe_commonize_var): Further tweak support for systems
        without weak symbols.
 

diff --git a/gcc/cp/cp-tree.h b/gcc/cp/cp-tree.h
index 9db905cf45922e0a220b2d00977944ef9c9b5b4c..73e07667682126db742a89764d33443bda7c2049 100644 (file)
--- a/gcc/cp/cp-tree.h
+++ b/gcc/cp/cp-tree.h
@@ -4014,6 +4014,7 @@ extern int types_overlap_p                        (tree, tree);
 extern tree get_vbase                          (tree, tree);
 extern tree get_dynamic_cast_base_type          (tree, tree);
 extern int accessible_p                         (tree, tree);
+extern tree lookup_field_1                      (tree, tree, bool);
 extern tree lookup_field                       (tree, tree, int, bool);
 extern int lookup_fnfields_1                    (tree, tree);
 extern tree lookup_fnfields                    (tree, tree, int);

diff --git a/gcc/cp/search.c b/gcc/cp/search.c
index b557fdfc26537c0dcee4e6158d992604094deb9d..fa274353df0fb773708ea8d8e9173f7392e9ad21 100644 (file)
--- a/gcc/cp/search.c
+++ b/gcc/cp/search.c
@@ -81,7 +81,6 @@ struct vbase_info
   tree inits;
 };
 
-static tree lookup_field_1 (tree, tree, bool);
 static tree dfs_check_overlap (tree, void *);
 static tree dfs_no_overlap_yet (tree, int, void *);
 static base_kind lookup_base_r (tree, tree, base_access,
@@ -430,7 +429,7 @@ get_dynamic_cast_base_type (tree subtype, tree target)
    figure out whether it can access this field.  (Since it is only one
    level, this is reasonable.)  */
 
-static tree
+tree
 lookup_field_1 (tree type, tree name, bool want_type)
 {
   register tree field;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index d12532817f1480d2920a84df43c3be0a4b5d24ee..45326b207d388e7aac3109862efbdb46a31ff43d 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,5 +1,8 @@
 2003-04-29  Mark Mitchell  <mark@codesourcery.com>
 
+       * g++.dg/ext/desig1.C: New test.
+       * g++.dg/ext/init1.C: Likewise.
+
        * g++.old-deja/g++.pt/deduct5.C: Remove unnecessary initializer.
 
 2003-04-28  Mark Mitchell  <mark@codesourcery.com>

diff --git a/gcc/testsuite/g++.dg/ext/desig1.C b/gcc/testsuite/g++.dg/ext/desig1.C
new file mode 100644 (file)
index 0000000..c3ff4c1
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/desig1.C
@@ -0,0 +1,24 @@
+// { dg-options "" }
+
+struct a {
+        int x;
+};
+
+struct b {
+        int x;
+        int y;
+};
+
+struct foo {
+        union {
+                struct a a;
+                struct b b;
+        } u;
+};
+
+int main(void)
+{
+        struct foo bar = { u: { b: { x: 0, y: 0, }}};
+        (void)bar;
+        return 0;
+}

diff --git a/gcc/testsuite/g++.dg/ext/init1.C b/gcc/testsuite/g++.dg/ext/init1.C
index c90e2c9cc128b62f67f1804d3a8edd2089970ab2..f8d8e8533e433402677366859c5c4821e0a0eb7d 100644 (file)
--- a/gcc/testsuite/g++.dg/ext/init1.C
+++ b/gcc/testsuite/g++.dg/ext/init1.C
@@ -1,5 +1,6 @@
 // PR c++/9623
 // Test for trivial use of named initializer extension
+// { dg-options "" }
 
 struct S { int x;  int y; };
 S s = { x:1, y:2 };