OpenE2K
/
gcc
2
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

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
This commit is contained in:
Jakub Jelinek 2017-03-10 08:55:00 +01:00 committed by Jakub Jelinek
parent 5558f089e3
commit 72772e6761
4 changed files with 28 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2017-03-10 Jakub Jelinek <jakub@redhat.com>
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 <rguenther@suse.de>
Jakub Jelinek <jakub@redhat.com>

7
gcc/gimple-ssa-warn-alloca.c
View File

@ -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)

3
gcc/testsuite/ChangeLog
View File

@ -1,5 +1,8 @@
2017-03-10 Jakub Jelinek <jakub@redhat.com>
PR tree-optimization/79972
* gcc.dg/pr79972.c: New test.
PR tree-optimization/77975
* gcc.dg/pr77975.c: New test.

16
gcc/testsuite/gcc.dg/pr79972.c Normal file
View File

@ -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;
}