2007-06-29 Douglas Gregor <doug.gregor@gmail.com>

	PR c++/31724
	* init.c (build_new_1): Use structural equality on the copy of the
	array type.

2007-06-29  Douglas Gregor  <doug.gregor@gmail.com>

	* g++.dg/other/canon-31724.C: New.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@126124 138bc75d-0d04-0410-961f-82ee72b054a4

diff --git a/gcc/cp/ChangeLog b/gcc/cp/ChangeLog
index 18da808..8622763 100644 (file)
--- a/gcc/cp/ChangeLog
+++ b/gcc/cp/ChangeLog
@@ -1,3 +1,9 @@
+2007-06-29  Douglas Gregor  <doug.gregor@gmail.com>
+
+       PR c++/31724
+       * init.c (build_new_1): Use structural equality on the copy of the
+       array type.
+
 2007-06-28  Geoffrey Keating  <geoffk@apple.com>
 
        * decl2.c (determine_visibility): Implement

diff --git a/gcc/cp/init.c b/gcc/cp/init.c
index 6ca072c..3eb6d5d 100644 (file)
--- a/gcc/cp/init.c
+++ b/gcc/cp/init.c
@@ -1691,6 +1691,7 @@ build_new_1 (tree placement, tree type, tree nelts, tree init,
          of the incomplete array type.  */
       full_type = build_distinct_type_copy (full_type);
       TYPE_DOMAIN (full_type) = index;
+      SET_TYPE_STRUCTURAL_EQUALITY (full_type);
     }
   else
     {

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5657411..b8ab6e5 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,7 @@
+2007-06-29  Douglas Gregor  <doug.gregor@gmail.com>
+
+       * g++.dg/other/canon-31724.C: New.
+       
 2007-06-29  Jan Hubicka  <jh@suse.cz>
 
        PR middle-end/32372
@@ -47,6 +51,7 @@
        PR tree-opt/32417
        * gfortran.fortran-torture/compile/pr32417.f90: New test.
 
+>>>>>>> .r126123
 2007-06-28  Dorit Nuzman  <dorit@il.ibm.com>
 
        * gcc.dg/vect/vect-iv-4.c: Test now passes on vect_pack_trunc

diff --git a/gcc/testsuite/g++.dg/other/canon-31724.C b/gcc/testsuite/g++.dg/other/canon-31724.C
new file mode 100644 (file)
index 0000000..1a39f78
--- /dev/null
+++ b/gcc/testsuite/g++.dg/other/canon-31724.C
@@ -0,0 +1,8 @@
+struct ac {ac();};
+ac  spline_rep1(void)
+{
+  typedef ac at[2];
+  ac * b = new ac[2];
+  at *a =  (at*)b;
+  return (*a)[0];
+}