projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4075e23) | patch
re PR tree-optimization/31522 (False overflow warning with phi nodes)
authorIan Lance Taylor <iant@google.com>
Tue, 17 Apr 2007 05:33:38 +0000 (05:33 +0000)
committerIan Lance Taylor <ian@gcc.gnu.org>
Tue, 17 Apr 2007 05:33:38 +0000 (05:33 +0000)
commitfc6827fe9fe4d3c72013462bf2d9d658bf73d7bb
tree260efc901363034c740d1c84a2d888987c09e4ectree
parent4075e2319853586499e3d059ff514151deca2396commit | diff
re PR tree-optimization/31522 (False overflow warning with phi nodes)

./: 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.

From-SVN: r123908
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/Wstrict-overflow-16.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history