projects / platform / upstream / linaro-gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6f7e6aa) | patch
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
tree94654a380e73859bd598639a67717b56b13ace7atree | snapshot
parent6f7e6aa349c027bf7806752648b2d8f43611cd01commit | diff
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 diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/pr38245-1.c [new file with mode: 0644] blob
gcc/testsuite/gcc.dg/pr38245-2.c [new file with mode: 0644] blob
gcc/tree-vrp.c diff | blob | history
Domain: System / Toolchain;