PR tree-optimization/40087
authorrakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 20 May 2009 00:33:54 +0000 (00:33 +0000)
committerrakdver <rakdver@138bc75d-0d04-0410-961f-82ee72b054a4>
Wed, 20 May 2009 00:33:54 +0000 (00:33 +0000)
commitfffbaaf2c48cd01c8fa93e3ad84e1bec1120f06f
tree5414a0754638d6785e86a48ddc4976bc02d58a20
parentc017dd56fd4c5d2431485d720bf2d3c3f5d28896
PR tree-optimization/40087
* tree-ssa-loop-niter.c (number_of_iterations_ne_max,
number_of_iterations_ne): Rename never_infinite argument.
(number_of_iterations_lt_to_ne, number_of_iterations_lt,
number_of_iterations_le): Handle pointer-type ivs when
exit_must_be_taken is false.
(number_of_iterations_cond):  Do not always assume that
exit_must_be_taken if the control variable is a pointer.

* gcc.dg/tree-ssa/pr40087.c: New test.

git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@147727 138bc75d-0d04-0410-961f-82ee72b054a4
gcc/ChangeLog
gcc/testsuite/ChangeLog
gcc/testsuite/gcc.dg/tree-ssa/pr40087.c [new file with mode: 0644]
gcc/tree-ssa-loop-niter.c