re PR tree-optimization/26443 (ICE in add_virtual_operand, at tree-ssa-operands.c:1867)

2006-03-01  Daniel Berlin  <dberlin@dberlin.org>
 
	Fix PR tree-optimization/26443
	* tree-vrp.c (pass_vrp): Add TODO_update_tmt_usage
	to todo and PROP_tmt_usage to properties_destroyed.
	* tree-ssa-ccp.c (pass_ccp): Ditto.
	(pass_store_ccp): Ditto.
	* tree-ssa-dom.c (pass_dominator): Ditto.

From-SVN: r111608

gcc/ChangeLog

+2006-03-01  Daniel Berlin  <dberlin@dberlin.org>
+ 
+	Fix PR tree-optimization/26443
+	* tree-vrp.c (pass_vrp): Add TODO_update_tmt_usage
+	to todo and PROP_tmt_usage to properties_destroyed.
+	* tree-ssa-ccp.c (pass_ccp): Ditto.
+	(pass_store_ccp): Ditto.
+	* tree-ssa-dom.c (pass_dominator): Ditto.
+
 2006-03-01  Diego Novillo  <dnovillo@redhat.com>
 
 	* tree-ssa-operands.c: Cleanup whitespace.

gcc/testsuite/ChangeLog

+2006-03-01  Daniel Berlin  <dberlin@dberlin.org>
+
+	* g++.dg/tree-ssa/pr26443.C: New test case.
+
 2006-02-28  Andrew Pinski  <pinskia@physics.uc.edu>
 
 	PR middle-end/26022

gcc/testsuite/g++.dg/tree-ssa/pr26443.C

+// { dg-do compile }
+
+struct A
+{
+    double x[4];
+};
+
+struct B
+{
+    A y[2];
+};
+
+A foo(B *p)
+{
+    for ( int i=0; i<4; ++i )
+        p->y[1].x[i]=0;
+
+    A a;
+    return a;
+}

gcc/tree-ssa-ccp.c

@@ -1403,11 +1403,11 @@ struct tree_opt_pass pass_ccp =
   TV_TREE_CCP,				/* tv_id */
   PROP_cfg | PROP_ssa | PROP_alias,	/* properties_required */
   0,					/* properties_provided */
-  0,					/* properties_destroyed */
+  PROP_tmt_usage,			/* properties_destroyed */
   0,					/* todo_flags_start */
   TODO_cleanup_cfg | TODO_dump_func | TODO_update_ssa
     | TODO_ggc_collect | TODO_verify_ssa
-    | TODO_verify_stmts,		/* todo_flags_finish */
+    | TODO_verify_stmts | TODO_update_tmt_usage, /* todo_flags_finish */
   0					/* letter */
 };
 
@@ -1440,12 +1440,12 @@ struct tree_opt_pass pass_store_ccp =
   TV_TREE_STORE_CCP,			/* tv_id */
   PROP_cfg | PROP_ssa | PROP_alias,	/* properties_required */
   0,					/* properties_provided */
-  0,					/* properties_destroyed */
+  PROP_tmt_usage,			/* properties_destroyed */
   0,					/* todo_flags_start */
   TODO_dump_func | TODO_update_ssa
     | TODO_ggc_collect | TODO_verify_ssa
     | TODO_cleanup_cfg
-    | TODO_verify_stmts,		/* todo_flags_finish */
+    | TODO_verify_stmts | TODO_update_tmt_usage, /* todo_flags_finish */
   0					/* letter */
 };
 

gcc/tree-ssa-dom.c

@@ -377,12 +377,13 @@ struct tree_opt_pass pass_dominator =
   TV_TREE_SSA_DOMINATOR_OPTS,		/* tv_id */
   PROP_cfg | PROP_ssa | PROP_alias,	/* properties_required */
   0,					/* properties_provided */
-  0,					/* properties_destroyed */
+  PROP_tmt_usage,			/* properties_destroyed */
   0,					/* todo_flags_start */
   TODO_dump_func
     | TODO_update_ssa
     | TODO_cleanup_cfg
-    | TODO_verify_ssa,			/* todo_flags_finish */
+    | TODO_verify_ssa	
+    | TODO_update_tmt_usage,		/* todo_flags_finish */
   0					/* letter */
 };
 

gcc/tree-vrp.c

@@ -4571,12 +4571,13 @@ struct tree_opt_pass pass_vrp =
   TV_TREE_VRP,				/* tv_id */
   PROP_ssa | PROP_alias,		/* properties_required */
   0,					/* properties_provided */
-  0,					/* properties_destroyed */
+  PROP_tmt_usage,					/* properties_destroyed */
   0,					/* todo_flags_start */
   TODO_cleanup_cfg
     | TODO_ggc_collect
     | TODO_verify_ssa
     | TODO_dump_func
-    | TODO_update_ssa,			/* todo_flags_finish */
+    | TODO_update_ssa
+    | TODO_update_tmt_usage,			/* todo_flags_finish */
   0					/* letter */
 };