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

[rguenth at gcc dot gnu dot org]

------- Comment #8 from rguenth at gcc dot gnu dot org  2006-10-13 20:09 -------
Subject: Bug 29446

Author: rguenth
Date: Fri Oct 13 20:09:10 2006
New Revision: 117705

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

        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:
    trunk/gcc/testsuite/gcc.dg/torture/pr29446.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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