diff options
| author | Richard Guenther <rguenther@suse.de> | 2009-01-26 09:55:30 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2009-01-26 09:55:30 +0000 |
| commit | e3e6cff41e9d63815a0396e02ee17d0a1261fccd (patch) | |
| tree | 5b8e8a5315c9686f63ea2da022b4eaeb2c40ea42 /gcc/tree-ssa.c | |
| parent | dc874b53e5529e2a76d610500345e1f469366346 (diff) | |
| download | gcc-e3e6cff41e9d63815a0396e02ee17d0a1261fccd.zip gcc-e3e6cff41e9d63815a0396e02ee17d0a1261fccd.tar.gz gcc-e3e6cff41e9d63815a0396e02ee17d0a1261fccd.tar.bz2 | |
re PR tree-optimization/38745 (ICE: statement makes a memory store, but has no VDEFS)
2009-01-26 Richard Guenther <rguenther@suse.de>
PR tree-optimization/38745
* tree-ssa.c (execute_update_addresses_taken): Do not include
variables that cannot possibly be a register in not_reg_needs.
Do not clear TREE_ADDRESSABLE on vars that may not become
registers.
* tree-ssa.c (update_alias_info_1): Include those in the set
of addressable vars.
* g++.dg/torture/pr38745.C: New testcase.
From-SVN: r143673
Diffstat (limited to 'gcc/tree-ssa.c')
| -rw-r--r-- | gcc/tree-ssa.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/gcc/tree-ssa.c b/gcc/tree-ssa.c index 935cad6..91cbc19 100644 --- a/gcc/tree-ssa.c +++ b/gcc/tree-ssa.c @@ -1731,7 +1731,12 @@ execute_update_addresses_taken (void) || bitmap_bit_p (addresses_taken, DECL_UID (var))) continue; - if (TREE_ADDRESSABLE (var)) + if (TREE_ADDRESSABLE (var) + /* Do not change TREE_ADDRESSABLE if we need to preserve var as + a non-register. Otherwise we are confused and forget to + add virtual operands for it. */ + && (!is_gimple_reg_type (TREE_TYPE (var)) + || !bitmap_bit_p (not_reg_needs, DECL_UID (var)))) { TREE_ADDRESSABLE (var) = 0; if (is_gimple_reg (var)) |