re PR c++/31724 (More "same canonical type node" fun)

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.

From-SVN: r126124

gcc/cp/ChangeLog

+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

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
     {

gcc/testsuite/ChangeLog

+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

gcc/testsuite/g++.dg/other/canon-31724.C

+struct ac {ac();};
+ac  spline_rep1(void)
+{
+  typedef ac at[2];
+  ac * b = new ac[2];
+  at *a =  (at*)b;
+  return (*a)[0];
+}