re PR debug/83666 (ICE: SIGFPE with -O2 -g --param=sccvn-max-scc-size=10)

	PR debug/83666
	* cfgexpand.c (expand_dbeug_expr) <case BIT_FIELD_REF>: Punt if mode
	is BLKmode and bitpos not zero or mode change is needed.

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

From-SVN: r256232

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 15172f1045de1830bb63f487f15563f7055e6c75..d932f05d8be40f64f80c199082610b396ebb7cdb 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2018-01-04  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/83666
+       * cfgexpand.c (expand_dbeug_expr) <case BIT_FIELD_REF>: Punt if mode
+       is BLKmode and bitpos not zero or mode change is needed.
+
 2018-01-04  Richard Sandiford  <richard.sandiford@linaro.org>
 
        PR target/83675

diff --git a/gcc/cfgexpand.c b/gcc/cfgexpand.c
index f278eb2660642048eb6336fed9fa2b21a453ed59..72fd8fd5a761e9f58edeeca2a4f68879e4d46399 100644 (file)
--- a/gcc/cfgexpand.c
+++ b/gcc/cfgexpand.c
@@ -4560,7 +4560,7 @@ expand_debug_expr (tree exp)
        if (maybe_lt (bitpos, 0))
           return NULL;
 
-       if (GET_MODE (op0) == BLKmode)
+       if (GET_MODE (op0) == BLKmode || mode == BLKmode)
          return NULL;
 
        poly_int64 bytepos;

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3a93d177db6908c77b50afbd4cd194ca582dffbe..5a6d4023b21ccdbcb2078a8cd418125f9db8c13c 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-04  Jakub Jelinek  <jakub@redhat.com>
+
+       PR debug/83666
+       * gcc.dg/pr83666.c: New test.
+
 2018-01-04  Uros Bizjak  <ubizjak@gmail.com>
 
        PR target/83628

diff --git a/gcc/testsuite/gcc.dg/pr83666.c b/gcc/testsuite/gcc.dg/pr83666.c
new file mode 100644 (file)
index 0000000..f12f13d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr83666.c
@@ -0,0 +1,28 @@
+/* PR debug/83666 */
+/* { dg-do compile } */
+/* { dg-options "-O2 -g --param=sccvn-max-scc-size=10 -Wno-psabi" } */
+
+typedef int __attribute__ ((vector_size (64))) V;
+
+int c, d;
+short e;
+V g;
+
+V
+bar (void)
+{
+  g[1] = d;
+  do
+    {
+      e += c;
+      g = g > 0;
+    }
+  while (g[1]);
+  return g;
+}
+
+void
+foo (void)
+{
+  int x = bar ()[3];
+}