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

re PR c/62073 (Segmentation fault with tree vectorize) 

2014-08-11  Felix Yang  <fei.yang0953@gmail.com>

	PR tree-optimization/62073
	* tree-vect-loop.c (vect_is_simple_reduction_1): Check that DEF1 has
	a basic block.

	* gcc.dg/vect/pr62073.c: New test.

From-SVN: r213812
This commit is contained in:
Felix Yang 2014-08-11 11:24:35 +00:00 committed by Richard Biener
parent b525d9437f
commit d4759fc61b
4 changed files with 53 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
gcc/ChangeLog
View File

@ -1,3 +1,9 @@
2014-08-11 Felix Yang <fei.yang0953@gmail.com>
PR tree-optimization/62073
* tree-vect-loop.c (vect_is_simple_reduction_1): Check that DEF1 has
a basic block.
2014-08-11 Alexander Ivchenko <alexander.ivchenko@intel.com>
Maxim Kuznetsov <maxim.kuznetsov@intel.com>
Anna Tikhonova <anna.tikhonova@intel.com>

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2014-08-11 Felix Yang <fei.yang0953@gmail.com>
PR tree-optimization/62073
* gcc.dg/vect/pr62073.c: New test.
2014-08-11 Richard Biener <rguenther@suse.de>
PR tree-optimization/62070

40
gcc/testsuite/gcc.dg/vect/pr62073.c Normal file
View File

@ -0,0 +1,40 @@
/* { dg-do compile } */
/* { dg-additional-options "-O1" } */
struct S0
{
int f7;
};
struct S0 g_50;
int g_70;
int g_76;
int foo (long long p_56, int * p_57)
{
int *l_77;
int l_101;
for (; g_70;)
{
int **l_78 = &l_77;
if (g_50.f7)
continue;
*l_78 = 0;
}
for (g_76 = 1; g_76 >= 0; g_76--)
{
int *l_90;
for (l_101 = 4; l_101 >= 0; l_101--)
if (l_101)
*l_90 = 0;
else
{
int **l_113 = &l_77;
*l_113 = p_57;
}
}
return *l_77;
}
/* { dg-final { cleanup-tree-dump "vect" } } */

3
gcc/tree-vect-loop.c
View File

@ -2321,7 +2321,8 @@ vect_is_simple_reduction_1 (loop_vec_info loop_info, gimple phi,
}
def1 = SSA_NAME_DEF_STMT (op1);
if (flow_bb_inside_loop_p (loop, gimple_bb (def_stmt))
if (gimple_bb (def1)
&& flow_bb_inside_loop_p (loop, gimple_bb (def_stmt))
&& loop->inner
&& flow_bb_inside_loop_p (loop->inner, gimple_bb (def1))
&& is_gimple_assign (def1))