[PATCH] tree-optimization/97650 - fix ICE in vect_get_and_check_slp_defs

[Richard Biener]

I was mistaken to treat vect_external_def as only applying to
SSA_NAME defs, so check for that.

Bootstrapped and tested on x86_64-unknown-linux-gnu, pushed.

2020-11-02  Richard Biener  <rguent...@suse.de>

        PR tree-optimization/97650
        * tree-vect-slp.c (vect_get_and_check_slp_defs): Check
        for SSA_NAME before checking SSA_NAME_IS_DEFAULT_DEF.

        * gcc.dg/vect/bb-slp-pr97650.c: New testcase.
---
 gcc/testsuite/gcc.dg/vect/bb-slp-pr97650.c | 15 +++++++++++++++
 gcc/tree-vect-slp.c                        |  1 +
 2 files changed, 16 insertions(+)
 create mode 100644 gcc/testsuite/gcc.dg/vect/bb-slp-pr97650.c

diff --git a/gcc/testsuite/gcc.dg/vect/bb-slp-pr97650.c 
b/gcc/testsuite/gcc.dg/vect/bb-slp-pr97650.c
new file mode 100644
index 00000000000..f9c91fb5827
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/bb-slp-pr97650.c
@@ -0,0 +1,15 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-Os -fallow-store-data-races" } */
+
+short a=0;
+unsigned long *volatile *volatile *volatile *b;
+unsigned long *volatile *volatile *volatile **c[7];
+void d() {
+  short e=0;
+  for (; a;) {
+    e = 0;
+    for (; e < 7; e++)
+      c[e] = &b;
+  }
+}
+int main() { return 0; }
diff --git a/gcc/tree-vect-slp.c b/gcc/tree-vect-slp.c
index 56dc59e11a6..d5249196d5e 100644
--- a/gcc/tree-vect-slp.c
+++ b/gcc/tree-vect-slp.c
@@ -530,6 +530,7 @@ vect_get_and_check_slp_defs (vec_info *vinfo, unsigned char 
swap,
       if (backedge
          && dts[i] == vect_external_def
          && is_a <bb_vec_info> (vinfo)
+         && TREE_CODE (oprnd) == SSA_NAME
          && !SSA_NAME_IS_DEFAULT_DEF (oprnd)
          && !dominated_by_p (CDI_DOMINATORS,
                              as_a <bb_vec_info> (vinfo)->bbs[0],
-- 
2.26.2