diff options
| author | Richard Biener <rguenther@suse.de> | 2014-11-26 15:16:24 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2014-11-26 15:16:24 +0000 |
| commit | 5721768d285b6b474a2b73e42dcec156e52ef13d (patch) | |
| tree | bb3f0ca8a43d88381e787e98d5d969b250a59a12 /gcc | |
| parent | aaf176ca1896931ac8777c0fd527b0198032b38e (diff) | |
| download | gcc-5721768d285b6b474a2b73e42dcec156e52ef13d.zip gcc-5721768d285b6b474a2b73e42dcec156e52ef13d.tar.gz gcc-5721768d285b6b474a2b73e42dcec156e52ef13d.tar.bz2 | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/torture/pr63738.c | 27 | ||||
| -rw-r--r-- | gcc/tree-data-ref.c | 3 |
4 files changed, 41 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 34f66f9..79c5411 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 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. (const_binop): Likewise. * fold-const.c (const_binop): Export overload that expects diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 19e7aa1..5c0ecd7 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -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 diff --git a/gcc/testsuite/gcc.dg/torture/pr63738.c b/gcc/testsuite/gcc.dg/torture/pr63738.c new file mode 100644 index 0000000..de40a9c --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr63738.c @@ -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; +} diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c index 909751c..387da6c 100644 --- a/gcc/tree-data-ref.c +++ b/gcc/tree-data-ref.c @@ -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; |