From 72772e6761c5930db346e5cdc2a1537585940502 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 10 Mar 2017 08:55:00 +0100 Subject: [PATCH] re PR tree-optimization/79972 (ICE in tree check: expected ssa_name, have var_decl in get_range_info, at tree-ssanames.c:377 w/ -Walloca -Wvla-larger-than=364854541) PR tree-optimization/79972 * gimple-ssa-warn-alloca.c (alloca_call_type): Only call get_range_info on SSA_NAMEs. Formatting fixes. * gcc.dg/pr79972.c: New test. From-SVN: r246022 --- gcc/ChangeLog | 6 ++++++ gcc/gimple-ssa-warn-alloca.c | 7 +++---- gcc/testsuite/ChangeLog | 3 +++ gcc/testsuite/gcc.dg/pr79972.c | 16 ++++++++++++++++ 4 files changed, 28 insertions(+), 4 deletions(-) create mode 100644 gcc/testsuite/gcc.dg/pr79972.c diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 211e9e77e12..9a4844e2aac 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-03-10 Jakub Jelinek + + PR tree-optimization/79972 + * gimple-ssa-warn-alloca.c (alloca_call_type): Only call + get_range_info on SSA_NAMEs. Formatting fixes. + 2017-03-10 Richard Biener Jakub Jelinek diff --git a/gcc/gimple-ssa-warn-alloca.c b/gcc/gimple-ssa-warn-alloca.c index dd41775f712..b940efa910c 100644 --- a/gcc/gimple-ssa-warn-alloca.c +++ b/gcc/gimple-ssa-warn-alloca.c @@ -300,8 +300,9 @@ alloca_call_type (gimple *stmt, bool is_vla, tree *invalid_casted_type) ret = alloca_type_and_limit (ALLOCA_OK); } // Check the range info if available. - else if (value_range_type range_type = get_range_info (len, &min, &max)) + else if (TREE_CODE (len) == SSA_NAME) { + value_range_type range_type = get_range_info (len, &min, &max); if (range_type == VR_RANGE) { if (wi::leu_p (max, max_size)) @@ -328,7 +329,6 @@ alloca_call_type (gimple *stmt, bool is_vla, tree *invalid_casted_type) gimple *def = SSA_NAME_DEF_STMT (len); if (gimple_assign_cast_p (def) && TYPE_UNSIGNED (TREE_TYPE (gimple_assign_rhs1 (def)))) - { len_casted = gimple_assign_rhs1 (def); range_type = get_range_info (len_casted, &min, &max); @@ -344,8 +344,7 @@ alloca_call_type (gimple *stmt, bool is_vla, tree *invalid_casted_type) else if (range_type == VR_ANTI_RANGE) return alloca_type_and_limit (ALLOCA_UNBOUNDED); else if (range_type != VR_VARYING) - return - alloca_type_and_limit (ALLOCA_BOUND_MAYBE_LARGE, max); + return alloca_type_and_limit (ALLOCA_BOUND_MAYBE_LARGE, max); } } else if (range_type == VR_ANTI_RANGE) diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index d00f5df7540..b60d750a062 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,8 @@ 2017-03-10 Jakub Jelinek + PR tree-optimization/79972 + * gcc.dg/pr79972.c: New test. + PR tree-optimization/77975 * gcc.dg/pr77975.c: New test. diff --git a/gcc/testsuite/gcc.dg/pr79972.c b/gcc/testsuite/gcc.dg/pr79972.c new file mode 100644 index 00000000000..1d2b8befb26 --- /dev/null +++ b/gcc/testsuite/gcc.dg/pr79972.c @@ -0,0 +1,16 @@ +/* PR tree-optimization/79972 */ +/* { dg-do compile } */ +/* { dg-require-effective-target alloca } */ +/* { dg-options "-Walloca -Wvla-larger-than=10000" } */ + +int +f (int dim, int *b, int *c) +{ + int newcentroid[3][dim]; /* { dg-warning "unbounded use of variable-length array" } */ + int *a = newcentroid[2]; + int i, dist = 0; + __builtin_memcpy (newcentroid, c, sizeof (newcentroid)); + for (i = 0; i < dim; i++) + dist += (a[i] - b[i]) * (a[i] - b[i]); + return dist; +} -- 2.30.2