re PR lto/42451 ('warning: type of "array" does not match original declaration' with -flto/-fwhopr)

2010-07-22  Richard Guenther  <rguenther@suse.de>

	PR lto/42451
	* gimple.c (gtc_next_dfs_num): New global.
	(struct sccs): Make value a union, add integer same_p member.
	(gtc_visit): New function.
	(gimple_types_compatible_p_1): New function, split out from ...
	(gimple_types_compatible_p): ... here.  Start a DFS walk here.
	(iterative_hash_gimple_type): Adjust for sccs change.

	* gcc.dg/lto/20100720-3_0.c: New testcase.
	* gcc.dg/lto/20100720-3_1.c: Likewise.

From-SVN: r162415

gcc/ChangeLog

+2010-07-22  Richard Guenther  <rguenther@suse.de>
+
+	PR lto/42451
+	* gimple.c (gtc_next_dfs_num): New global.
+	(struct sccs): Make value a union, add integer same_p member.
+	(gtc_visit): New function.
+	(gimple_types_compatible_p_1): New function, split out from ...
+	(gimple_types_compatible_p): ... here.  Start a DFS walk here.
+	(iterative_hash_gimple_type): Adjust for sccs change.
+
 2010-07-22  Martin Jambor  <mjambor@suse.cz>
 
 	PR tree-optimization/44891

gcc/testsuite/ChangeLog

 2010-07-22  Richard Guenther  <rguenther@suse.de>
 
+	PR lto/42451
+	* gcc.dg/lto/20100720-3_0.c: New testcase.
+	* gcc.dg/lto/20100720-3_1.c: Likewise.
+
+2010-07-22  Richard Guenther  <rguenther@suse.de>
+
 	* lib/target-supports-dg.exp (dg-require-linker-plugin): New proc.
 	* lib/target-supports.exp (check_linker_plugin_available): Likewise.
 

gcc/testsuite/gcc.dg/lto/20100720-3_0.c

+/* { dg-lto-do run } */
+
+struct X {
+  int a;
+};
+
+struct link {
+  struct list_node *next;
+};
+
+struct list_node {
+  struct link lnk;
+  struct X *value;
+};
+
+void f(struct list_node *lst)
+{
+  lst->lnk.next = 0;
+}
+
+int main(void)
+{
+  return 0;
+}

gcc/testsuite/gcc.dg/lto/20100720-3_1.c

+struct X {
+  int b;
+};
+
+struct link {
+  struct list_node *next;
+};
+
+struct list_node {
+  struct link lnk;
+  struct X *value;
+};
+
+void g(struct list_node *lst)
+{
+  lst->lnk.next = 0;
+}