diff options
| author | Richard Biener <rguenther@suse.de> | 2018-01-08 13:22:56 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2018-01-08 13:22:56 +0000 |
| commit | e207c07997748ec104a1caf295e66abb75f0eb3f (patch) | |
| tree | 261c615c8ee986617e1b7844d0732da8824d10be /gcc | |
| parent | 131a0e78b01cf4a280d0ad861e75ef35eb050d29 (diff) | |
| download | gcc-e207c07997748ec104a1caf295e66abb75f0eb3f.zip gcc-e207c07997748ec104a1caf295e66abb75f0eb3f.tar.gz gcc-e207c07997748ec104a1caf295e66abb75f0eb3f.tar.bz2 | |
re PR tree-optimization/83685 (ICE: SSA corruption)
2018-01-08 Richard Biener <rguenther@suse.de>
PR tree-optimization/83685
* tree-ssa-pre.c (create_expression_by_pieces): Do not insert
references to abnormals.
* gcc.dg/torture/pr83685.c: New testcase.
From-SVN: r256339
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/pr83685.c | 20 | ||||
| -rw-r--r-- | gcc/tree-ssa-pre.c | 2 |
4 files changed, 33 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 0c9d694..cbd431a 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2018-01-08 Richard Biener <rguenther@suse.de> + PR tree-optimization/83685 + * tree-ssa-pre.c (create_expression_by_pieces): Do not insert + references to abnormals. + +2018-01-08 Richard Biener <rguenther@suse.de> + PR lto/83719 * dwarf2out.c (output_indirect_strings): Handle empty skeleton_debug_str_hash. diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ccc94d1..25f82ae 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,5 +1,10 @@ 2018-01-08 Richard Biener <rguenther@suse.de> + PR tree-optimization/83685 + * gcc.dg/torture/pr83685.c: New testcase. + +2018-01-08 Richard Biener <rguenther@suse.de> + PR lto/83719 * gcc.dg/lto/pr83719_0.c: New testcase. diff --git a/gcc/testsuite/gcc.dg/torture/pr83685.c b/gcc/testsuite/gcc.dg/torture/pr83685.c new file mode 100644 index 0000000..062f75d --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr83685.c @@ -0,0 +1,20 @@ +/* { dg-do compile } */ + +int _setjmp (void *); +void foo (int); + +void +bar (int e, int b, char c, void *d) +{ + while (b) + { + if (_setjmp (d)) + foo (e); + if (c) + { + e--; + foo (0); + } + e++; + } +} diff --git a/gcc/tree-ssa-pre.c b/gcc/tree-ssa-pre.c index 63c2a6a..55295e1 100644 --- a/gcc/tree-ssa-pre.c +++ b/gcc/tree-ssa-pre.c @@ -2697,6 +2697,8 @@ create_expression_by_pieces (basic_block block, pre_expr expr, that value numbering saw through. */ case NAME: folded = PRE_EXPR_NAME (expr); + if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (folded)) + return NULL_TREE; if (useless_type_conversion_p (exprtype, TREE_TYPE (folded))) return folded; break; |