re PR tree-optimization/91114 (ICE in vect_analyze_loop, at tree-vect-loop.c:2415)

2019-07-09  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/91114
	* tree-vect-data-refs.c (vect_analyze_data_refs): Failure to
	find a vector type isn't fatal.

	* gcc.dg/vect/pr91114.c: New testcase.

From-SVN: r273306

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 25959b9..63f50e8 100644 (file)
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2019-07-09  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/91114
+       * tree-vect-data-refs.c (vect_analyze_data_refs): Failure to
+       find a vector type isn't fatal.
+
 2019-07-09  Sylvia Taylor  <sylvia.taylor@arm.com>
 
        * config/aarch64/aarch64-simd.md

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 3e36c0a..31e8a83 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2019-07-09  Richard Biener  <rguenther@suse.de>
+
+       PR tree-optimization/91114
+       * gcc.dg/vect/pr91114.c: New testcase.
+
 2019-07-09  Sylvia Taylor  <sylvia.taylor@arm.com>
 
        * gcc.target/aarch64/crypto-fuse-1.c: Remove.

diff --git a/gcc/testsuite/gcc.dg/vect/pr91114.c b/gcc/testsuite/gcc.dg/vect/pr91114.c
new file mode 100644 (file)
index 0000000..3343d1e
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/vect/pr91114.c
@@ -0,0 +1,12 @@
+/* { dg-do compile } */
+/* { dg-additional-options "-fopenmp-simd" } */
+
+void
+ne (double *zu)
+{
+  int h3;
+
+#pragma omp simd simdlen (4)
+  for (h3 = 0; h3 < 4; ++h3)
+    zu[h3] = 0;
+}

diff --git a/gcc/tree-vect-data-refs.c b/gcc/tree-vect-data-refs.c
index cf9cee5..1af36d8 100644 (file)
--- a/gcc/tree-vect-data-refs.c
+++ b/gcc/tree-vect-data-refs.c
@@ -4360,6 +4360,8 @@ vect_analyze_data_refs (vec_info *vinfo, poly_uint64 *min_vf, bool *fatal)
              STMT_VINFO_VECTORIZABLE (stmt_info) = false;
              continue;
            }
+         if (fatal)
+           *fatal = false;
          return opt_result::failure_at (stmt_info->stmt,
                                         "not vectorized:"
                                         " no vectype for stmt: %G"