diff options
| author | Richard Biener <rguenth@gcc.gnu.org> | 2010-07-15 11:17:37 +0000 |
|---|---|---|
| committer | Richard Biener <rguenth@gcc.gnu.org> | 2010-07-15 11:17:37 +0000 |
| commit | 0ba0772ba46e80a54bd712cada5b9395fce28399 (patch) | |
| tree | 2df76aff858642dd504876b611f466bb766c2ad0 /gcc/tree-ssa-structalias.c | |
| parent | 02ee7bea62cc77ed1ee6aa94970cc576af7d3903 (diff) | |
| download | gcc-0ba0772ba46e80a54bd712cada5b9395fce28399.zip gcc-0ba0772ba46e80a54bd712cada5b9395fce28399.tar.gz gcc-0ba0772ba46e80a54bd712cada5b9395fce28399.tar.bz2 | |
re PR tree-optimization/44946 (ICE: in get_constraint_for_component_ref, at tree-ssa-structalias.c:3184)
2010-07-15 Richard Guenther <rguenther@suse.de>
PR tree-optimization/44946
* tree-ssa-structalias.c (get_constraint_for_component_ref): Deal
with accessing only padding properly.
* gcc.c-torture/compile/pr44946.c: New testcase.
From-SVN: r162216
Diffstat (limited to 'gcc/tree-ssa-structalias.c')
| -rw-r--r-- | gcc/tree-ssa-structalias.c | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/gcc/tree-ssa-structalias.c b/gcc/tree-ssa-structalias.c index 68e0cac..417671c 100644 --- a/gcc/tree-ssa-structalias.c +++ b/gcc/tree-ssa-structalias.c @@ -3177,13 +3177,19 @@ get_constraint_for_component_ref (tree t, VEC(ce_s, heap) **results, cexpr.var = curr->id; VEC_safe_push (ce_s, heap, *results, &cexpr); } - else + else if (VEC_length (ce_s, *results) == 0) /* Assert that we found *some* field there. The user couldn't be accessing *only* padding. */ /* Still the user could access one past the end of an array embedded in a struct resulting in accessing *only* padding. */ - gcc_assert (VEC_length (ce_s, *results) >= 1 - || ref_contains_array_ref (orig_t)); + /* Or accessing only padding via type-punning to a type + that has a filed just in padding space. */ + { + cexpr.type = SCALAR; + cexpr.var = anything_id; + cexpr.offset = 0; + VEC_safe_push (ce_s, heap, *results, &cexpr); + } } else if (bitmaxsize == 0) { |