From: jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Date: Fri, 14 May 2010 18:09:14 +0000 (+0000)
Subject: 	PR debug/44136
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=37cd7b09149cd2ffecc77f82e023e1c5b8bc5d15;p=thirdparty%2Fgcc.git

	PR debug/44136
	* cfgexpand.c (expand_debug_expr): If non-memory op0
	has BLKmode, return NULL.

	* gcc.dg/pr44136.c: New test.


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

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index d360ebec8c38..2aa0ddd47043 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2010-05-14  Jakub Jelinek  <jakub@redhat.com>
+
+	PR debug/44136
+	* cfgexpand.c (expand_debug_expr): If non-memory op0
+	has BLKmode, return NULL.
+
 2010-05-14  Harsha Jagasia  <harsha.jagasia@amd.com>
 
 	* config.gcc: Add support for --with-cpu option for bdver1.
diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c
index 319b1832295d..5c42c1c1bf12 100644
--- a/gcc/cfgexpand.c
+++ b/gcc/cfgexpand.c
@@ -2561,13 +2561,14 @@ expand_debug_expr (tree exp)
         if (bitpos < 0)
           return NULL;
 
+	if (GET_MODE (op0) == BLKmode)
+	  return NULL;
+
 	if ((bitpos % BITS_PER_UNIT) == 0
 	    && bitsize == GET_MODE_BITSIZE (mode1))
 	  {
 	    enum machine_mode opmode = GET_MODE (op0);
 
-	    gcc_assert (opmode != BLKmode);
-
 	    if (opmode == VOIDmode)
 	      opmode = mode1;
 
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 6a9bec196030..92f955991be4 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -2,6 +2,9 @@
 
 	* gfortran.dg/gomp/pr44036-1.f90: Adjust.
 
+	PR debug/44136
+	* gcc.dg/pr44136.c: New test.
+
 2010-05-14  Shujing Zhao  <pearly.zhao@oracle.com>
 
 	PR c++/30566
diff --git a/gcc/testsuite/gcc.dg/pr44136.c b/gcc/testsuite/gcc.dg/pr44136.c
new file mode 100644
index 000000000000..71c21ab03714
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr44136.c
@@ -0,0 +1,27 @@
+/* PR debug/44136 */
+/* { dg-do compile } */
+/* { dg-options "-w -O2 -g" } */
+/* { dg-options "-w -O2 -g -mno-sse" { target { { i?86-*-* x86_64-*-* } && ilp32 } } } */
+
+#define vector __attribute((vector_size(16)))
+vector float a;
+
+float
+foo (float b)
+{
+  vector float c = { 0, 0, 0, 0 };
+  vector float d = { 0, 0, 0, 0 };
+  d += c;
+  return ((float *)&c)[2];
+}
+
+float
+bar (vector float a, int b, vector float c)
+{
+  vector float e = c * a;
+  a = (vector float) { 0, 0, 0, 0 };
+  c = (vector float) { 0, 0, 0, 0 };
+  float d = ((float *)&a)[0];
+  float f = ((float *)&c)[0];
+  return d * f;
+}