diff options
| author | Olivier Hainque <hainque@adacore.com> | 2005-09-14 06:59:10 +0000 |
|---|---|---|
| committer | Olivier Hainque <hainque@gcc.gnu.org> | 2005-09-14 06:59:10 +0000 |
| commit | 816fa80a8f1dd56131f17538216c7115be986833 (patch) | |
| tree | 7f9b5b00db380546a241d429669817f434f28c65 /gcc | |
| parent | 0df3cf7f04835666392eb1f8a99d9f4464ad6630 (diff) | |
| download | gcc-816fa80a8f1dd56131f17538216c7115be986833.zip gcc-816fa80a8f1dd56131f17538216c7115be986833.tar.gz gcc-816fa80a8f1dd56131f17538216c7115be986833.tar.bz2 | |
gimplify.c (gimplify_init_ctor_eval): Don't discard a zero-sized value if it has side-effects.
* gimplify.c (gimplify_init_ctor_eval): Don't discard a zero-sized
value if it has side-effects.
From-SVN: r104262
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/gimplify.c | 7 |
2 files changed, 11 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index d4944d5..a0da848 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2005-09-14 Olivier Hainque <hainque@adacore.com> + + * gimplify.c (gimplify_init_ctor_eval): Don't discard a zero-sized + value if it has side-effects. + 2005-09-14 David Edelsohn <edelsohn@gnu.org> PR target/22068 diff --git a/gcc/gimplify.c b/gcc/gimplify.c index a2fc7c8..cdb8a33 100644 --- a/gcc/gimplify.c +++ b/gcc/gimplify.c @@ -2576,7 +2576,12 @@ gimplify_init_ctor_eval (tree object, VEC(constructor_elt,gc) *elts, so we don't have to figure out what's missing ourselves. */ gcc_assert (purpose); - if (zero_sized_field_decl (purpose)) + /* Skip zero-sized fields, unless value has side-effects. This can + happen with calls to functions returning a zero-sized type, which + we shouldn't discard. As a number of downstream passes don't + expect sets of zero-sized fields, we rely on the gimplification of + the MODIFY_EXPR we make below to drop the assignment statement. */ + if (! TREE_SIDE_EFFECTS (value) && zero_sized_field_decl (purpose)) continue; /* If we have a RANGE_EXPR, we have to build a loop to assign the |