[Bug middle-end/33693] [4.3 Regression] Type checking error with bitwise xor/and

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2007-10-08 15:24 -------
Subject: Bug 33693

Author: rguenth
Date: Mon Oct  8 15:23:49 2007
New Revision: 129130

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129130
Log:
2007-10-08  Richard Guenther  <[EMAIL PROTECTED]>

        PR middle-end/33693
        PR middle-end/33695
        PR middle-end/33697
        * fold-const.c (fold_binary): Use correct types in folding
        of a * (1 << b) to (a << b).  Likewise for ~A & ~B to ~(A | B)
        and building of RROTATE_EXPR.

        * gcc.dg/pr33693.c: New testcase.
        * gcc.dg/pr33695.c: Likewise.
        * gcc.dg/pr33697.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/pr33693.c
    trunk/gcc/testsuite/gcc.dg/pr33695.c
    trunk/gcc/testsuite/gcc.dg/pr33697.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=33693