projects / gcc.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 5ab2b3e) | patch
re PR tree-optimization/21959 (vrp miscompiles Ada front-end, drops loop exit test...
authorDiego Novillo <dnovillo@redhat.com>
Tue, 28 Jun 2005 00:52:35 +0000 (00:52 +0000)
committerDiego Novillo <dnovillo@gcc.gnu.org>
Tue, 28 Jun 2005 00:52:35 +0000 (20:52 -0400)
commit3eca1bd776507834a9092ee8c871e91e78ef59b8
tree6ac1b1fa0c3b8ade5a237d12fe531f37f0172b03tree
parent5ab2b3e44e3a264663c716a85cd8d7566043ac7ccommit | diff
re PR tree-optimization/21959 (vrp miscompiles Ada front-end, drops loop exit test in well-defined wrap-around circumstances)

PR 21959
* tree-ssa-loop-niter.c (scev_probably_wraps_p): Handle type
casts between unsigned and signed types with different size
or precision.

testsuite/ChangeLog

PR 21959
* gcc.dg/tree-ssa/pr21959.c: New test.

From-SVN: r101365
gcc/ChangeLog diff | blob | history
gcc/testsuite/ChangeLog diff | blob | history
gcc/testsuite/gcc.dg/tree-ssa/pr21959.c [new file with mode: 0644] blob
gcc/tree-ssa-loop-niter.c diff | blob | history