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

re PR tree-optimization/63738 (ssa corruption when compiled with -O3) 

2014-11-26  Richard Biener  <rguenther@suse.de>

	PR middle-end/63738
	* tree-data-ref.c (split_constant_offset_1): Do not follow
	SSA edges for SSA names with SSA_NAME_OCCURS_IN_ABNORMAL_PHI.

	* gcc.dg/torture/pr63738.c: New testcase.

From-SVN: r218088
This commit is contained in:
Richard Biener 2014-11-26 15:16:24 +00:00 committed by Richard Biener
parent aaf176ca18
commit 5721768d28
4 changed files with 41 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 @@
2014-11-26 Richard Biener <rguenther@suse.de>
PR middle-end/63738
* tree-data-ref.c (split_constant_offset_1): Do not follow
SSA edges for SSA names with SSA_NAME_OCCURS_IN_ABNORMAL_PHI.
2014-11-26 Richard Biener <rguenther@suse.de>
* fold-const.h (const_unop): Declare.

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2014-11-26 Richard Biener <rguenther@suse.de>
PR middle-end/63738
* gcc.dg/torture/pr63738.c: New testcase.
2014-11-26 Ilya Enkovich <ilya.enkovich@intel.com>
PR bootstrap/63995

27
gcc/testsuite/gcc.dg/torture/pr63738.c Normal file
View File

@ -0,0 +1,27 @@
/* { dg-do compile } */
#include <setjmp.h>
struct longjmp_buffer {
jmp_buf buf;
};
void plouf();
extern long interprete()
{
long * sp;
int i;
long *args;
int n;
struct longjmp_buffer raise_buf;
_setjmp (raise_buf.buf);
plouf();
sp -= 4;
for (i = 0; i < n; i++)
args[i] = sp[10-i];
plouf();
return 0;
}

3
gcc/tree-data-ref.c
View File

@ -674,6 +674,9 @@ split_constant_offset_1 (tree type, tree op0, enum tree_code code, tree op1,
case SSA_NAME:
{
if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (op0))
return false;
gimple def_stmt = SSA_NAME_DEF_STMT (op0);
enum tree_code subcode;