diff options
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-10-28 10:34:51 +0000 |
|---|---|---|
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | 2008-10-28 10:34:51 +0000 |
| commit | 89a45e5a89054028828bafd03ec606131ccc256d (patch) | |
| tree | 8348ceeaf745bd11ba0b12ed05934a14f7afdf0f | |
| parent | d37e81ec7b3bba5aff7dce108ab601e3bf0ae421 (diff) | |
| download | gcc-89a45e5a89054028828bafd03ec606131ccc256d.tar.gz | |
PR middle-end/37931
* fold-const.c (distribute_bit_expr): Convert common, left and
right arguments to type.
* gcc.c-torture/execute/pr37931.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@141406 138bc75d-0d04-0410-961f-82ee72b054a4
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/fold-const.c | 3 | ||||
| -rw-r--r-- | gcc/testsuite/ChangeLog | 5 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr37931.c | 23 |
4 files changed, 37 insertions, 0 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 44432df823c..d04aa06a81c 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2008-10-28 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/37931 + * fold-const.c (distribute_bit_expr): Convert common, left and + right arguments to type. + 2008-10-28 Nick Clifton <nickc@redhat.com> * config/mn10300/mn10300.h (CALL_REALLY_USED_REGISTERS): Define. diff --git a/gcc/fold-const.c b/gcc/fold-const.c index 1eac946e31b..7a215d27cb4 100644 --- a/gcc/fold-const.c +++ b/gcc/fold-const.c @@ -3806,6 +3806,9 @@ distribute_bit_expr (enum tree_code code, tree type, tree arg0, tree arg1) else return 0; + common = fold_convert (type, common); + left = fold_convert (type, left); + right = fold_convert (type, right); return fold_build2 (TREE_CODE (arg0), type, common, fold_build2 (code, type, left, right)); } diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 3aa9a1e7125..58e7819496a 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,8 @@ +2008-10-28 Jakub Jelinek <jakub@redhat.com> + + PR middle-end/37931 + * gcc.c-torture/execute/pr37931.c: New test. + 2008-10-27 Jakub Jelinek <jakub@redhat.com> PR tree-optimization/37879 diff --git a/gcc/testsuite/gcc.c-torture/execute/pr37931.c b/gcc/testsuite/gcc.c-torture/execute/pr37931.c new file mode 100644 index 00000000000..0077a21ba33 --- /dev/null +++ b/gcc/testsuite/gcc.c-torture/execute/pr37931.c @@ -0,0 +1,23 @@ +/* PR middle-end/37931 */ + +extern void abort (void); + +int +foo (int a, unsigned int b) +{ + return (a | 1) & (b | 1); +} + +int +main (void) +{ + if (foo (6, 0xc6) != 7) + abort (); + if (foo (0x80, 0xc1) != 0x81) + abort (); + if (foo (4, 4) != 5) + abort (); + if (foo (5, 4) != 5) + abort (); + return 0; +} |