diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e364f616fd9a..d8c34b283bd8 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2020-01-17 Jakub Jelinek + + PR tree-optimization/93292 + * tree-vect-stmts.c (vectorizable_comparison): Punt also if + get_vectype_for_scalar_type returns NULL. + 2020-01-16 Jan Hubicka * params.opt (-param=max-predicted-iterations): Increase range from 0. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index eea3bd2ccb37..5bd1ab21271b 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2020-01-17 Jakub Jelinek + PR tree-optimization/93292 + * g++.dg/opt/pr93292.C: New test. + PR testsuite/93294 * lib/c-compat.exp (compat-use-alt-compiler): Handle -fdiagnostics-urls=never similarly to -fdiagnostics-color=never. diff --git a/gcc/testsuite/g++.dg/opt/pr93292.C b/gcc/testsuite/g++.dg/opt/pr93292.C new file mode 100644 index 000000000000..a368319147e5 --- /dev/null +++ b/gcc/testsuite/g++.dg/opt/pr93292.C @@ -0,0 +1,18 @@ +// PR tree-optimization/93292 +// { dg-do compile } +// { dg-options "-O3 -w" } + +struct A { + static int foo (float x) { static int b; b = x ? x + 0.5 : 0; return b; } +}; + +void +bar (int *d, float e) +{ + float g; + for (int h = 0; h < 64; h++) + { + d[h] += A::foo (g < 0 ? : g > 5 ? : g); + A::foo (e); + } +} diff --git a/gcc/tree-vect-stmts.c b/gcc/tree-vect-stmts.c index df2899b47639..2ca8e494680d 100644 --- a/gcc/tree-vect-stmts.c +++ b/gcc/tree-vect-stmts.c @@ -10492,7 +10492,7 @@ vectorizable_comparison (stmt_vec_info stmt_info, gimple_stmt_iterator *gsi, { vectype = get_vectype_for_scalar_type (vinfo, TREE_TYPE (rhs1), slp_node); - if (maybe_ne (TYPE_VECTOR_SUBPARTS (vectype), nunits)) + if (!vectype || maybe_ne (TYPE_VECTOR_SUBPARTS (vectype), nunits)) return false; } else if (maybe_ne (nunits, TYPE_VECTOR_SUBPARTS (vectype)))