[Bug tree-optimization/31522] False overflow warning with phi nodes

[ian at gcc dot gnu dot org]

------- Comment #10 from ian at gcc dot gnu dot org  2007-04-17 06:33 -------
Subject: Bug 31522

Author: ian
Date: Tue Apr 17 06:33:38 2007
New Revision: 123908

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=123908
Log:
./:
        PR tree-optimization/31522
        * tree-vrp.c (vr_phi_edge_counts): New static variable.
        (vrp_initialize): Allocate vr_phi_edge_counts.
        (vrp_visit_phi_node): Don't push to infinity if we saw a new
        executable edge.  Drop test for all constants.
        (vrp_finalize): Free vrp_phi_edge_counts.
testsuite/:
        PR tree-optimization/31522
        * gcc.dg/Wstrict-overflow-16.c: New test.

Added:
    trunk/gcc/testsuite/gcc.dg/Wstrict-overflow-16.c
Modified:
    trunk/gcc/ChangeLog
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/tree-vrp.c


-- 


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