diff options
| author | Richard Guenther <rguenther@suse.de> | 2011-02-01 09:47:21 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2011-02-01 09:47:21 +0000 |
| commit | 3fd3b156d6c93cf263616ab400691d1a3aedf07d (patch) | |
| tree | 7d8501382557fc2411e882ec6b7f73fbd06eabac /gcc/tree-ssa-structalias.c | |
| parent | 3eaa6afc66b55971d1e5ee4ccfbf4062f7ce44c5 (diff) | |
| download | gcc-3fd3b156d6c93cf263616ab400691d1a3aedf07d.zip gcc-3fd3b156d6c93cf263616ab400691d1a3aedf07d.tar.gz gcc-3fd3b156d6c93cf263616ab400691d1a3aedf07d.tar.bz2 | |
re PR tree-optimization/47541 (For integer pointers, the value of ++*p is not written back to memory)
2011-02-01 Richard Guenther <rguenther@suse.de>
PR tree-optimization/47541
* tree-ssa-structalias.c (push_fields_onto_fieldstack): Make
sure to have a field at offset zero.
* g++.dg/torture/pr47541.C: New testcase.
From-SVN: r169468
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index cf1e817..97719ff 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -5083,6 +5083,19 @@ push_fields_onto_fieldstack (tree type, VEC(fieldoff_s,heap) **fieldstack, if (!VEC_empty (fieldoff_s, *fieldstack)) pair = VEC_last (fieldoff_s, *fieldstack); + /* If there isn't anything at offset zero, create sth. */ + if (!pair + && offset + foff != 0) + { + pair = VEC_safe_push (fieldoff_s, heap, *fieldstack, NULL); + pair->offset = 0; + pair->size = offset + foff; + pair->has_unknown_size = false; + pair->must_have_pointers = false; + pair->may_have_pointers = false; + pair->only_restrict_pointers = false; + } + if (!DECL_SIZE (field) || !host_integerp (DECL_SIZE (field), 1)) has_unknown_size = true; |