[Bug middle-end/30364] [4.1 Regression] Wrong variable ranges due to constant folding

["rguenth at gcc dot gnu dot org" <gcc-bugzilla at gcc dot gnu dot org>]

------- Comment #15 from rguenth at gcc dot gnu dot org  2007-03-15 18:09 -------
Subject: Bug 30364

Author: rguenth
Date: Thu Mar 15 18:09:26 2007
New Revision: 122956

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

        Backport from mainline
        2007-02-28  Richard Guenther  <rguenther@suse.de>

        PR middle-end/30364
        * fold-const.c (fold_binary): Do not associate expressions
        with more than one variable for integer types that do not wrap.

        * gcc.dg/torture/pr30364-1.c: New testcase.
        * gcc.dg/torture/pr30364-2.c: Likewise.
        * gcc.dg/torture/pr30364-3.c: Likewise.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/torture/pr30364-1.c
      - copied unchanged from r122548,
branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/torture/pr30364-1.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/torture/pr30364-2.c
      - copied unchanged from r122548,
branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/torture/pr30364-2.c
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/torture/pr30364-3.c
      - copied unchanged from r122548,
branches/gcc-4_2-branch/gcc/testsuite/gcc.dg/torture/pr30364-3.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/fold-const.c
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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