re PR tree-optimization/82102 (ICE: Segmentation fault in /home/arnd/git/gcc/gcc...

2017-09-05  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/82102
	* tree-ssa-pre.c (fini_eliminate): Check if lhs is NULL.

	* gcc.dg/torture/pr82102.c: New testcase.

From-SVN: r251692

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 7a824f8..5f60fe2 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,8 @@
+2017-09-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/82102
+       * tree-ssa-pre.c (fini_eliminate): Check if lhs is NULL.
+
 2017-09-05  Martin Liska  <mliska@suse.cz>
 
        PR tree-optimization/82032

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 2869129..a217300 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2017-09-05  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/82102
+       * gcc.dg/torture/pr82102.c: New testcase.
+
 2017-09-05  Eric Botcazou  <ebotcazou@adacore.com>
 
        * testsuite/gnat.dg/array29.ad[sb]: New test.

diff --git a/gcc/testsuite/gcc.dg/torture/pr82102.c b/gcc/testsuite/gcc.dg/torture/pr82102.c
new file mode 100644 (file)
index 0000000..393f8bf
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/torture/pr82102.c
@@ -0,0 +1,21 @@
+/* { dg-do compile } */
+
+void *a, *b;
+struct pt3_i2cbuf {
+    int num_cmds;
+} c;
+void *memcpy(void *, void *, __SIZE_TYPE__);
+void put_stop();
+void translate(struct pt3_i2cbuf *p1, int p2)
+{
+  p1->num_cmds = 0;
+  if (p2)
+    put_stop();
+}
+void pt3_i2c_master_xfer(int p1)
+{
+  translate(&c, p1);
+  memcpy(a, b, c.num_cmds);
+  for (; p1;)
+    ;
+}

diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c
index 185c192..f6fa3bb 100644 (file)
--- a/gcc/tree-ssa-pre.c
+++ b/gcc/tree-ssa-pre.c
@@ -4860,6 +4860,7 @@ fini_eliminate (void)
        lhs = gimple_get_lhs (stmt);
 
       if (inserted_exprs
+         && lhs
          && TREE_CODE (lhs) == SSA_NAME
          && bitmap_bit_p (inserted_exprs, SSA_NAME_VERSION (lhs)))
        continue;