| commit | 4d1ddfdff44c960efd724732d84654cc630790e4 | |
| author | ian <ian@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Jun 2007 21:56:10 +0000 (4 21:56 +0000) | ||
| committer | ian <ian@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Mon, 4 Jun 2007 21:56:10 +0000 (4 21:56 +0000) | ||
| tree | 9e1c2c180f4cb7684e89144b82c6168c877994e5 | treesnapshot (tar.gz zip) |
| parent | a2ee4f787985be77be73ad61a384b50bc864b8c3 | commitdiff |
./:
* tree-vrp.c (adjust_range_with_scev): When loop is not expected
to overflow, reduce overflow infinity to regular infinity.
(vrp_var_may_overflow): New static function.
(vrp_visit_phi_node): Check vrp_var_may_overflow.
testsuite/:
* gcc.dg/Wstrict-overflow-18.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125319 138bc75d-0d04-0410-961f-82ee72b054a4
* tree-vrp.c (adjust_range_with_scev): When loop is not expected
to overflow, reduce overflow infinity to regular infinity.
(vrp_var_may_overflow): New static function.
(vrp_visit_phi_node): Check vrp_var_may_overflow.
testsuite/:
* gcc.dg/Wstrict-overflow-18.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@125319 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gcc.dg/Wstrict-overflow-18.c | [new file with mode: 0644] | blob |
| gcc/tree-vrp.c | diffblobblamehistory |