FreeChainXenon/gcc
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

re PR c/86046 (ICE in execute_todo, at passes.c:2043)

Browse source 
2018-06-05  Richard Biener  <rguenther@suse.de>

	PR tree-optimization/86046
	* tree-ssa.c (maybe_optimize_var): Clear DECL_GIMPLE_REG_P
	if required after clearing TREE_ADDRESSABLE.

	* gcc.dg/pr86046.c: New testcase.

From-SVN: r261193
This commit is contained in:
Richard Biener 2018-06-05 10:02:50 +00:00 • committed by Richard Biener
parent d12fd774e0
commit fa385ff4d7
4 changed files with 25 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
gcc/ChangeLog
View file

@ -1,3 +1,9 @@
2018-06-05 Richard Biener <rguenther@suse.de>
PR tree-optimization/86046
* tree-ssa.c (maybe_optimize_var): Clear DECL_GIMPLE_REG_P
if required after clearing TREE_ADDRESSABLE.
2018-06-05 Richard Biener <rguenther@suse.de>
PR tree-optimization/86047

5
gcc/testsuite/ChangeLog
View file

@ -1,3 +1,8 @@
2018-06-05 Richard Biener <rguenther@suse.de>
PR tree-optimization/86046
* gcc.dg/pr86046.c: New testcase.
2018-06-05 Richard Biener <rguenther@suse.de>
PR tree-optimization/86047

8
gcc/testsuite/gcc.dg/pr86046.c Normal file
View file

@ -0,0 +1,8 @@
/* { dg-do compile } */
/* { dg-options "-O2" } */
typedef int V __attribute__ ((vector_size(4)));
void fn1 ()
{
(V){(1,0)}[1] = 0; // out-of-bound access
}

6
gcc/tree-ssa.c
View file

@ -1565,6 +1565,12 @@ maybe_optimize_var (tree var, bitmap addresses_taken, bitmap not_reg_needs,
|| !bitmap_bit_p (not_reg_needs, DECL_UID (var))))
{
TREE_ADDRESSABLE (var) = 0;
/* If we cleared TREE_ADDRESSABLE make sure DECL_GIMPLE_REG_P
is unset if we cannot rewrite the var into SSA. */
if ((TREE_CODE (TREE_TYPE (var)) == VECTOR_TYPE
|| TREE_CODE (TREE_TYPE (var)) == COMPLEX_TYPE)
&& bitmap_bit_p (not_reg_needs, DECL_UID (var)))
DECL_GIMPLE_REG_P (var) = 0;
if (is_gimple_reg (var))
bitmap_set_bit (suitable_for_renaming, DECL_UID (var));
if (dump_file)