OSDN Git Service

2010-04-06 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Tue, 6 Apr 2010 12:32:25 +0000 (12:32 +0000)
committerMasaki Muranaka <monaka@monami-software.com>
Sun, 23 May 2010 05:16:42 +0000 (14:16 +0900)
PR tree-optimization/43627
* tree-vrp.c (extract_range_from_unary_expr): Widenings
of [1, +INF(OVF)] go to [1, +INF(OVF)] of the wider type,
not varying.

* gcc.dg/tree-ssa/vrp49.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@157992 138bc75d-0d04-0410-961f-82ee72b054a4

gcc/ChangeLog
gcc/testsuite/ChangeLog

index c0ef1ae..794111c 100644 (file)
@@ -1,3 +1,10 @@
+2010-04-06  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/43627
+       * tree-vrp.c (extract_range_from_unary_expr): Widenings
+       of [1, +INF(OVF)] go to [1, +INF(OVF)] of the wider type,
+       not varying.
+
 2010-04-06  Jakub Jelinek  <jakub@redhat.com>
 
        * BASE-VER: Change to 4.6.0.
 2010-04-06  Jakub Jelinek  <jakub@redhat.com>
 
        * BASE-VER: Change to 4.6.0.
index ab66b42..eb15225 100644 (file)
@@ -1,3 +1,8 @@
+2010-04-06  Richard Guenther  <rguenther@suse.de>
+
+       PR tree-optimization/43627
+       * gcc.dg/tree-ssa/vrp49.c: New testcase.
+
 2010-04-06  Jakub Jelinek  <jakub@redhat.com>
 
        PR target/43638
 2010-04-06  Jakub Jelinek  <jakub@redhat.com>
 
        PR target/43638