diff options
author | Richard Kenner <kenner@gcc.gnu.org> | 1993-04-28 06:16:57 -0400 |
---|---|---|
committer | Richard Kenner <kenner@gcc.gnu.org> | 1993-04-28 06:16:57 -0400 |
commit | d9a9c5a7b31878d5926d2da3c191cb0df348e2ab (patch) | |
tree | 8cd22dd5e09259b9190a5755aeae38042ba9a184 /gcc/convert.c | |
parent | 3dc4a939b9f5f053b924c1f6451be638983ab233 (diff) | |
download | gcc-d9a9c5a7b31878d5926d2da3c191cb0df348e2ab.zip gcc-d9a9c5a7b31878d5926d2da3c191cb0df348e2ab.tar.gz gcc-d9a9c5a7b31878d5926d2da3c191cb0df348e2ab.tar.bz2 |
(convert_to_integer): When we want to return zero, be sure we honor
any side-effects in our operand.
From-SVN: r4255
Diffstat (limited to 'gcc/convert.c')
-rw-r--r-- | gcc/convert.c | 21 |
1 files changed, 16 insertions, 5 deletions
diff --git a/gcc/convert.c b/gcc/convert.c index 7261e1b..d073ac3 100644 --- a/gcc/convert.c +++ b/gcc/convert.c @@ -199,11 +199,22 @@ convert_to_integer (type, expr) /* In this case, shifting is like multiplication. */ goto trunc1; else - /* If it is >= that width, result is zero. - Handling this with trunc1 would give the wrong result: - (int) ((long long) a << 32) is well defined (as 0) - but (int) a << 32 is undefined and would get a warning. */ - return convert_to_integer (type, integer_zero_node); + { + /* If it is >= that width, result is zero. + Handling this with trunc1 would give the wrong result: + (int) ((long long) a << 32) is well defined (as 0) + but (int) a << 32 is undefined and would get a + warning. */ + + tree t = convert_to_integer (type, integer_zero_node); + + /* If the original expression had side-effects, we must + preserve it. */ + if (TREE_SIDE_EFFECTS (expr)) + return build (COMPOUND_EXPR, type, expr, t); + else + return t; + } } break; |