OSDN Git Service

2006-06-09 Richard Guenther <rguenther@suse.de>
authorrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Jun 2006 12:39:11 +0000 (12:39 +0000)
committerrguenth <rguenth@138bc75d-0d04-0410-961f-82ee72b054a4>
Fri, 9 Jun 2006 12:39:11 +0000 (12:39 +0000)
commit0086a3d6f91f6b6adecf17f1399939aeeacb2e37
tree8f2366195492eca232eb1a6d8a000c1d7b4d5757
parentc8aa8448d8bcff74b6217d70fb9f60c0af32f317
2006-06-09  Richard Guenther  <rguenther@suse.de>

PR tree-optimization/26998
* tree-vrp.c (extract_range_from_unary_expr): For NEGATE_EXPR
of signed types, only TYPE_MIN_VALUE is special, but for both,
minimum and maximum value.  Likewise VR_ANTI_RANGE is special
in this case, as is -fwrapv.

* gcc.dg/torture/pr26998.c: New testcase.
* gcc.dg/tree-ssa/vrp29.c: New testcase.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@114507 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/torture/pr26998.c [new file with mode: 0644]
gcc/testsuite/gcc.dg/tree-ssa/vrp29.c [new file with mode: 0644]
gcc/tree-vrp.c