[Bug tree-optimization/23603] VRP does not say range for a in a = b == c; is [0,1]

[rguenth at gcc dot gnu dot org]

------- Comment #11 from rguenth at gcc dot gnu dot org  2007-01-08 11:20 
-------
Subject: Bug 23603

Author: rguenth
Date: Mon Jan  8 11:20:00 2007
New Revision: 120578

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

        PR tree-optimization/23603
        * tree-vrp.c (set_value_range_to_truthvalue): New function.
        (extract_range_from_binary): Fall back to truthvalue instead of
        varying for TRUTH_*_EXPR.
        (extract_range_from_comparison): Fall back to truthvalue instead of
        varying.
        (vrp_visit_phi_node): Don't adjust new range bounds to +INF/-INF
        if all visited PHI values were constant.

        * gcc.dg/tree-ssa/vrp31.c: New testcase.
        * gcc.dg/tree-ssa/vrp32.c: Likewise.

Added:
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp31.c
    trunk/gcc/testsuite/gcc.dg/tree-ssa/vrp32.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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