[Bug middle-end/36548] [4.3 Regression] remainder gives the wrong result for wrapping case with unsigned types

[rguenth at gcc dot gnu dot org]

------- Comment #10 from rguenth at gcc dot gnu dot org  2008-08-28 14:19 
-------
Subject: Bug 36548

Author: rguenth
Date: Thu Aug 28 14:18:23 2008
New Revision: 139709

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

        PR middle-end/36548
        PR middle-end/37125
        * fold-const.c (extract_muldiv_1): Optimize (X * C1) % C2 only
        if the multiplication does not overflow.

        * gcc.c-torture/execute/pr37125.c: New testcase.

Added:
    branches/gcc-4_3-branch/gcc/testsuite/gcc.c-torture/execute/pr37125.c
Modified:
    branches/gcc-4_3-branch/gcc/ChangeLog
    branches/gcc-4_3-branch/gcc/fold-const.c
    branches/gcc-4_3-branch/gcc/testsuite/ChangeLog


-- 


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