[Bug middle-end/33779] [4.3 Regression] folds unsigned multiplication == 0 to true

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2007-10-31 12:33 -------
Subject: Bug 33779

Author: rguenth
Date: Wed Oct 31 12:33:05 2007
New Revision: 129796

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=129796
Log:
2007-10-31  Richard Guenther  <rguenther@suse.de>

        PR middle-end/33779
        * fold-const.c (extract_muldiv_1): Make sure to not introduce
        new undefined integer overflow.
        (fold_binary): Avoid useless conversion.

        * gcc.c-torture/execute/pr33779-1.c: New testcase.
        * gcc.c-torture/execute/pr33779-2.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.c-torture/execute/pr33779-1.c
    trunk/gcc/testsuite/gcc.c-torture/execute/pr33779-2.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/fold-const.c
    trunk/gcc/testsuite/ChangeLog


-- 


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