| commit | 80b766e4f6e03af8690af7cad72da556e3457560 | |
| author | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 8 Jul 2014 09:39:57 +0000 (8 09:39 +0000) | ||
| committer | jakub <jakub@138bc75d-0d04-0410-961f-82ee72b054a4> | |
| Tue, 8 Jul 2014 09:39:57 +0000 (8 09:39 +0000) | ||
| tree | dee539372edbfbfbff7ec1bc9dc933297b8b1367 | treesnapshot (tar.gz zip) |
| parent | 3beff0e12fe55eece14fed410c5e5b66bda90833 | commitdiff |
PR tree-optimization/61725
* tree-vrp.c (extract_range_basic): Don't assume vr0 is unsigned
range, use range_includes_zerop_p instead of integer_zerop on
vr0->min, only use log2 of max if min is not negative.
* gcc.dg/tree-ssa/vrp93.c: New test.
* gcc.c-torture/execute/pr61725.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212353 138bc75d-0d04-0410-961f-82ee72b054a4
* tree-vrp.c (extract_range_basic): Don't assume vr0 is unsigned
range, use range_includes_zerop_p instead of integer_zerop on
vr0->min, only use log2 of max if min is not negative.
* gcc.dg/tree-ssa/vrp93.c: New test.
* gcc.c-torture/execute/pr61725.c: New test.
git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@212353 138bc75d-0d04-0410-961f-82ee72b054a4
| gcc/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/ChangeLog | diffblobblamehistory | |
| gcc/testsuite/gcc.c-torture/execute/pr61725.c | [new file with mode: 0644] | blob |
| gcc/testsuite/gcc.dg/tree-ssa/vrp93.c | [new file with mode: 0644] | blob |
| gcc/tree-vrp.c | diffblobblamehistory |