diff options
| author | Richard Biener <rguenther@suse.de> | 2017-09-19 11:57:39 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2017-09-19 11:57:39 +0000 |
| commit | 109bb9107bc49ad4d396c387dd29fa9f6eeb9c39 (patch) | |
| tree | f82639aeed94496688ffd3da48cb39012e5ba13e /gcc/tree-vrp.c | |
| parent | ffaea1170332667a1533a354dfcedc6d0de4aa5e (diff) | |
| download | gcc-109bb9107bc49ad4d396c387dd29fa9f6eeb9c39.zip gcc-109bb9107bc49ad4d396c387dd29fa9f6eeb9c39.tar.gz gcc-109bb9107bc49ad4d396c387dd29fa9f6eeb9c39.tar.bz2 | |
re PR tree-optimization/82244 (-O2: ICE: tree check: expected ssa_name, have integer_cst in replace_uses_by, at tree-cfg.c:1904)
2017-09-19 Richard Biener <rguenther@suse.de>
PR tree-optimization/82244
* tree-vrp.c (remove_range_assertions): Do not propagate
a constant to abnormals but replace the assert with a copy.
* gcc.dg/torture/pr82244.c: New testcase.
From-SVN: r252973
Diffstat (limited to 'gcc/tree-vrp.c')
| -rw-r--r-- | gcc/tree-vrp.c | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/gcc/tree-vrp.c b/gcc/tree-vrp.c index 84cdd17..221a07b 100644 --- a/gcc/tree-vrp.c +++ b/gcc/tree-vrp.c @@ -7039,6 +7039,14 @@ remove_range_assertions (void) FOR_EACH_IMM_USE_ON_STMT (use_p, iter) SET_USE (use_p, var); } + /* But do not propagate constants as that is invalid. */ + else if (SSA_NAME_OCCURS_IN_ABNORMAL_PHI (lhs)) + { + gassign *ass = gimple_build_assign (lhs, var); + gsi_replace (&si, ass, true); + gsi_next (&si); + continue; + } else replace_uses_by (lhs, var); |