[Bug tree-optimization/29446] [4.2 Regression] VRP ICE in compare_names

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

------- Comment #10 from rguenth at gcc dot gnu dot org  2007-04-25 17:10 -------
Subject: Bug 29446

Author: rguenth
Date: Wed Apr 25 17:10:31 2007
New Revision: 124158

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

        PR tree-optimization/31698
        * g++.dg/other/pr31698.C: New testcase.

        Backport from mainline:
        2006-10-13  Richard Guenther  <rguenther@suse.de>

        PR tree-optimization/29446
        * tree-vrp.c (fix_equivalence_set): Remove.
        (extract_range_from_assert): Do not call fix_equivalence_set.
        (debug_value_range): Print a newline.
        (compare_name_with_value): For equivalence sets with
        inconsistent value ranges conservatively bail out.
        (compare_names): Likewise.

        * gcc.dg/torture/pr29446.c: New testcase.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/other/pr31698.C
    branches/gcc-4_1-branch/gcc/testsuite/gcc.dg/torture/pr29446.c
      - copied unchanged from r117705,
trunk/gcc/testsuite/gcc.dg/torture/pr29446.c
Modified:
    branches/gcc-4_1-branch/gcc/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog
    branches/gcc-4_1-branch/gcc/tree-vrp.c


-- 


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