diff options
| author | Diego Novillo <dnovillo@redhat.com> | 2001-04-05 02:27:47 +0000 |
|---|---|---|
| committer | Diego Novillo <dnovillo@gcc.gnu.org> | 2001-04-04 22:27:47 -0400 |
| commit | b08355783200651f189f2f057663e12f9755bb92 (patch) | |
| tree | 102c5ecab55ff14b05898ff73ce3c22e9dd1cd40 /gcc/simplify-rtx.c | |
| parent | 12f0b96b84e334fb3b1d582a19079abdf0fb054f (diff) | |
| download | gcc-b08355783200651f189f2f057663e12f9755bb92.zip gcc-b08355783200651f189f2f057663e12f9755bb92.tar.gz gcc-b08355783200651f189f2f057663e12f9755bb92.tar.bz2 | |
simplify-rtx.c (simplify_binary_operation): Check for overflow when folding integer division and modulo operations.
2001-04-04 Diego Novillo <dnovillo@redhat.com>
* simplify-rtx.c (simplify_binary_operation): Check for overflow
when folding integer division and modulo operations.
2001-04-04 Diego Novillo <dnovillo@redhat.com>
* gcc.c-torture/compile/20010404-1.c: New test.
From-SVN: r41105
Diffstat (limited to 'gcc/simplify-rtx.c')
| -rw-r--r-- | gcc/simplify-rtx.c | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/gcc/simplify-rtx.c b/gcc/simplify-rtx.c index dd7d2e1..af8b708 100644 --- a/gcc/simplify-rtx.c +++ b/gcc/simplify-rtx.c @@ -1407,25 +1407,33 @@ simplify_binary_operation (code, mode, op0, op1) break; case DIV: - if (arg1s == 0) + if (arg1s == 0 + || (arg0s == (HOST_WIDE_INT) 1 << (HOST_BITS_PER_WIDE_INT - 1) + && arg1s == -1)) return 0; val = arg0s / arg1s; break; case MOD: - if (arg1s == 0) + if (arg1s == 0 + || (arg0s == (HOST_WIDE_INT) 1 << (HOST_BITS_PER_WIDE_INT - 1) + && arg1s == -1)) return 0; val = arg0s % arg1s; break; case UDIV: - if (arg1 == 0) + if (arg1 == 0 + || (arg0s == (HOST_WIDE_INT) 1 << (HOST_BITS_PER_WIDE_INT - 1) + && arg1s == -1)) return 0; val = (unsigned HOST_WIDE_INT) arg0 / arg1; break; case UMOD: - if (arg1 == 0) + if (arg1 == 0 + || (arg0s == (HOST_WIDE_INT) 1 << (HOST_BITS_PER_WIDE_INT - 1) + && arg1s == -1)) return 0; val = (unsigned HOST_WIDE_INT) arg0 % arg1; break; |