From: Jakub Jelinek <jakub@redhat.com>
Date: Tue, 9 Nov 2010 19:31:45 +0000 (+0100)
Subject: re PR target/43808 (-fipa-reference -fschedule-insns -fstrict-aliasing causes two... 
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9b999dc5ea45237cc7accead90a33e9c4a6893f5;p=gcc.git

re PR target/43808 (-fipa-reference -fschedule-insns -fstrict-aliasing causes two gfortran check failures)

	PR target/43808
	* cfgexpand.c (partition_stack_vars): Call
	update_alias_info_with_stack_vars unconditionally.
	(update_alias_info_with_stack_vars): Allow unused
	unreferenced vars when not optimizing.

	* gfortran.dg/pr43808.f90: New test.

From-SVN: r166509
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index dbf4ef6ab1d..d8b25500ba1 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,11 @@
+2010-11-09  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/43808
+	* cfgexpand.c (partition_stack_vars): Call
+	update_alias_info_with_stack_vars unconditionally.
+	(update_alias_info_with_stack_vars): Allow unused
+	unreferenced vars when not optimizing.
+
 2010-11-09  Sebastian Pop  <sebastian.pop@amd.com>
 
 	PR tree-optimization/46036
diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c
index c44649e857d..784639d9e65 100644
--- a/gcc/cfgexpand.c
+++ b/gcc/cfgexpand.c
@@ -516,9 +516,11 @@ update_alias_info_with_stack_vars (void)
 	  unsigned int uid = DECL_PT_UID (decl);
 	  /* We should never end up partitioning SSA names (though they
 	     may end up on the stack).  Neither should we allocate stack
-	     space to something that is unused and thus unreferenced.  */
+	     space to something that is unused and thus unreferenced, except
+	     for -O0 where we are preserving even unreferenced variables.  */
 	  gcc_assert (DECL_P (decl)
-		      && referenced_var_lookup (DECL_UID (decl)));
+		      && (!optimize
+			  || referenced_var_lookup (DECL_UID (decl))));
 	  bitmap_set_bit (part, uid);
 	  *((bitmap *) pointer_map_insert (decls_to_partitions,
 					   (void *)(size_t) uid)) = part;
@@ -684,8 +686,7 @@ partition_stack_vars (void)
 	}
     }
 
-  if (optimize)
-    update_alias_info_with_stack_vars ();
+  update_alias_info_with_stack_vars ();
 }
 
 /* A debugging aid for expand_used_vars.  Dump the generated partitions.  */
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 5517521f671..3e451d00c8b 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2010-11-09  Jakub Jelinek  <jakub@redhat.com>
+
+	PR target/43808
+	* gfortran.dg/pr43808.f90: New test.
+
 2010-11-09  Sebastian Pop  <sebastian.pop@amd.com>
 
 	PR tree-optimization/46036
diff --git a/gcc/testsuite/gfortran.dg/pr43808.f90 b/gcc/testsuite/gfortran.dg/pr43808.f90
new file mode 100644
index 00000000000..97de6289286
--- /dev/null
+++ b/gcc/testsuite/gfortran.dg/pr43808.f90
@@ -0,0 +1,18 @@
+! PR target/43808
+! { dg-do run }
+! { dg-options "-O0 -fipa-reference -fschedule-insns -fstrict-aliasing" }
+
+  type :: a
+    integer, allocatable :: i(:)
+  end type a
+  type :: b
+    type (a), allocatable :: j(:)
+  end type b
+  type(a) :: x(2)
+  type(b) :: y(2)
+  x(1) = a((/1,2,3,4/))
+  x(2) = a((/1,2,3,4/)+10)
+  y(1) = b((/x(1),x(2)/))
+  y(2) = b((/x(1),x(2)/))
+  if (y(1)%j(1)%i(1) .ne. 1) call abort
+end