diff options
| author | Jakub Jelinek <jakub@redhat.com> | 2008-10-16 14:32:01 +0200 |
|---|---|---|
| committer | Jakub Jelinek <jakub@gcc.gnu.org> | 2008-10-16 14:32:01 +0200 |
| commit | a39562d94418f27cbf1ad25c24015bd9c2a0de17 (patch) | |
| tree | 58f980d63d671515b7f80da62568737229e3d50e /gcc | |
| parent | 5773a50f410d585fd248ce8d12e5a8ef33c10ed1 (diff) | |
| download | gcc-a39562d94418f27cbf1ad25c24015bd9c2a0de17.zip gcc-a39562d94418f27cbf1ad25c24015bd9c2a0de17.tar.gz gcc-a39562d94418f27cbf1ad25c24015bd9c2a0de17.tar.bz2 | |
re PR tree-optimization/37664 (ice in remove_range_assertions, at tree-vrp.c:5116)
PR tree-optimization/37664
* fold-const.c (fold_binary): When optimizing comparison with
highest or lowest type's value, don't consider TREE_OVERFLOW.
* gcc.c-torture/compile/pr37664.c: New test.
From-SVN: r141171
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 1 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/compile/pr37664.c | 14 |
4 files changed, 25 insertions, 1 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 13d987a..b242191 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-10-16 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/37664 + * fold-const.c (fold_binary): When optimizing comparison with + highest or lowest type's value, don't consider TREE_OVERFLOW. + 2008-10-16 David Edelsohn <edelsohn@gnu.org> PR target/35483 diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 0ce122a..605caa8 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -12447,7 +12447,6 @@ fold_binary (enum tree_code code, tree type, tree op0, tree op1) unsigned int width = TYPE_PRECISION (arg1_type); if (TREE_CODE (arg1) == INTEGER_CST - && !TREE_OVERFLOW (arg1) && width <= 2 * HOST_BITS_PER_WIDE_INT && (INTEGRAL_TYPE_P (arg1_type) || POINTER_TYPE_P (arg1_type))) { diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index dd4544b..9148684 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-10-16 Jakub Jelinek <jakub@redhat.com> + + PR tree-optimization/37664 + * gcc.c-torture/compile/pr37664.c: New test. + 2008-10-16 Joseph Myers <joseph@codesourcery.com> PR middle-end/37418 diff --git a/gcc/testsuite/gcc.c-torture/compile/pr37664.c b/gcc/testsuite/gcc.c-torture/compile/pr37664.c new file mode 100644 index 0000000..cf5c83d --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/compile/pr37664.c @@ -0,0 +1,14 @@ +/* PR tree-optimization/37664 */ + +int v; + +int +foo () +{ + int a = 0x8899A862; + int b = 0x8E * a; + int c = (b % b); + if (v > (4294967295U >> c)) + return v; + return 0; +} |