diff options
| author | Richard Biener <rguenther@suse.de> | 2019-04-15 11:59:02 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2019-04-15 11:59:02 +0000 |
| commit | 98dc565ef07f8bf9d720ea419bc1ce14bafc4a3a (patch) | |
| tree | 483effd8449b46d33717af6bfaa5c1d3ea30342f /gcc | |
| parent | c7797fd3e8889f7017980672dad06a3df8f4cddf (diff) | |
| download | gcc-98dc565ef07f8bf9d720ea419bc1ce14bafc4a3a.zip gcc-98dc565ef07f8bf9d720ea419bc1ce14bafc4a3a.tar.gz gcc-98dc565ef07f8bf9d720ea419bc1ce14bafc4a3a.tar.bz2 | |
re PR tree-optimization/90071 (internal compiler error: SSA corruption)
2019-04-15 Richard Biener <rguenther@suse.de>
PR tree-optimization/90071
* tree-ssa-reassoc.c (init_range_entry): Do not pick up
abnormal operands from def stmts.
* gcc.dg/torture/pr90071.c: New testcase.
From-SVN: r270369
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/pr90071.c | 24 | ||||
| -rw-r--r-- | gcc/tree-ssa-reassoc.c | 3 |
4 files changed, 37 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 8f8ec28..0d61af4 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,5 +1,11 @@ 2019-04-15 Richard Biener <rguenther@suse.de> + PR tree-optimization/90071 + * tree-ssa-reassoc.c (init_range_entry): Do not pick up + abnormal operands from def stmts. + +2019-04-15 Richard Biener <rguenther@suse.de> + PR ipa/88936 * tree.h (auto_var_p): Declare. * tree.c (auto_var_p): New function, split out from ... diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index be91be7..38fcc79 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2019-04-15 Richard Biener <rguenther@suse.de> + + PR tree-optimization/90071 + * gcc.dg/torture/pr90071.c: New testcase. + 2019-04-15 Segher Boessenkool <segher@kernel.crashing.org> PR rtl-optimization/89794 diff --git a/gcc/testsuite/gcc.dg/torture/pr90071.c b/gcc/testsuite/gcc.dg/torture/pr90071.c new file mode 100644 index 0000000..bfa7239 --- /dev/null +++ b/gcc/testsuite/gcc.dg/torture/pr90071.c @@ -0,0 +1,24 @@ +/* { dg-do compile } */ + +int a; +static int b; + +void +foo () +{ + int d; + int e = (int) (__INTPTR_TYPE__) &&f; + void *g = &&h; +h: ++e; + if (a) + i: goto *g; + for (;;) + { + e = 0; + if (b) + goto i; + } +f: + goto *({ d || e < 0 || e >= 2; }); + &e; +} diff --git a/gcc/tree-ssa-reassoc.c b/gcc/tree-ssa-reassoc.c index e1c4dfe..32bff97 100644 --- a/gcc/tree-ssa-reassoc.c +++ b/gcc/tree-ssa-reassoc.c @@ -2143,7 +2143,8 @@ init_range_entry (struct range_entry *r, tree exp, gimple *stmt) exp_type = boolean_type_node; } - if (TREE_CODE (arg0) != SSA_NAME) + if (TREE_CODE (arg0) != SSA_NAME + || SSA_NAME_OCCURS_IN_ABNORMAL_PHI (arg0)) break; loc = gimple_location (stmt); switch (code) |