OSDN Git Service

PR rtl-optimization/38245
authorjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 1 Dec 2008 14:34:51 +0000 (14:34 +0000)
committerjakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4>
Mon, 1 Dec 2008 14:34:51 +0000 (14:34 +0000)
commite52dd25836ec08885b8206b330060617281db851
tree94654a380e73859bd598639a67717b56b13ace7a
parent6f7e6aa349c027bf7806752648b2d8f43611cd01
PR rtl-optimization/38245
* tree-vrp.c (abs_extent_range): New function.
(extract_range_from_binary_expr): Compute range
for *_DIV_EXPR even if vr1 is VR_VARYING, VR_ANTI_RANGE
or includes zero or if vr1 is VR_RANGE and op0 has some
other range.

* gcc.dg/pr38245-1.c: New test.
* gcc.dg/pr38245-2.c: New test.

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