diff options
| -rw-r--r-- | gcc/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/fold-const.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr43661.c | 5 |
4 files changed, 18 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 13485d6..f181b05 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2010-04-06 Richard Guenther <rguenther@suse.de> + + PR middle-end/43661 + * fold-const.c (fold_comparison): Handle X * 0 CMP 0. + 2010-04-05 Ralf Wildenhues <Ralf.Wildenhues@gmx.de> * doc/invoke.texi (Optimize Options): Document that LTO diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 8dd68c2..e79d934 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -9576,7 +9576,9 @@ fold_comparison (location_t loc, enum tree_code code, tree type, tree variable1 = TREE_OPERAND (arg0, 0); enum tree_code cmp_code = code; - gcc_assert (!integer_zerop (const1)); + /* Handle unfolded multiplication by zero. */ + if (integer_zerop (const1)) + return fold_build2_loc (loc, cmp_code, type, const1, const2); fold_overflow_warning (("assuming signed overflow does not occur when " "eliminating multiplication in comparison " diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index ffc5128..9df8395 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2010-04-06 Richard Guenther <rguenther@suse.de> + + PR middle-end/43661 + * gcc.c-torture/compile/pr43661.c: New testcase. + 2010-04-06 Jakub Jelinek <jakub@redhat.com> * gcc.target/s390/stackcheck1.c: Add dg-warning. diff --git a/gcc/testsuite/gcc.c-torture/compile/pr43661.c b/gcc/testsuite/gcc.c-torture/compile/pr43661.c new file mode 100644 index 0000000..1337e1d --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr43661.c @@ -0,0 +1,5 @@ +int +func (int x) +{ + return 0 ? (unsigned short) (0 ? : 1 * (signed char) (x ^ x) >= 0) : 1; +} |