From 5c7155ca9f97caf24576418d4d7e6a0a9bbbe135 Mon Sep 17 00:00:00 2001 From: ian Date: Tue, 17 Apr 2007 05:33:38 +0000 Subject: ./: 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@123908 138bc75d-0d04-0410-961f-82ee72b054a4 --- gcc/testsuite/gcc.dg/Wstrict-overflow-16.c | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 gcc/testsuite/gcc.dg/Wstrict-overflow-16.c (limited to 'gcc/testsuite/gcc.dg/Wstrict-overflow-16.c') diff --git a/gcc/testsuite/gcc.dg/Wstrict-overflow-16.c b/gcc/testsuite/gcc.dg/Wstrict-overflow-16.c new file mode 100644 index 00000000000..e8c31cf5046 --- /dev/null +++ b/gcc/testsuite/gcc.dg/Wstrict-overflow-16.c @@ -0,0 +1,11 @@ +/* { dg-do compile } */ +/* { dg-options "-fstrict-overflow -O2 -Wstrict-overflow" } */ + +/* From PR 31522. */ + +int f (int x) { + int y; + if (x <= 4) y = 1; + else y = x / 4; + return y <= 0; +} -- cgit v1.2.1