diff options
| -rw-r--r-- | gcc/ChangeLog | 6 | ||||
| -rw-r--r-- | gcc/tree-ssa-loop-niter.c | 6 |
2 files changed, 9 insertions, 3 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index f90686c..66535bf 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,9 @@ +2017-02-24 Aldy Hernandez <aldyh@redhat.com> + + * tree-ssa-loop-niter.c (number_of_iterations_exit): Update + function comment to reflect reality. + (loop_exits_before_overflow): Fix typo in function description. + 2017-02-24 Richard Biener <rguenther@suse.de> PR tree-optimization/79389 diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c index efcf3ed..269a2ba 100644 --- a/gcc/tree-ssa-loop-niter.c +++ b/gcc/tree-ssa-loop-niter.c @@ -2345,8 +2345,8 @@ number_of_iterations_exit_assumptions (struct loop *loop, edge exit, return (!integer_zerop (niter->assumptions)); } -/* Like number_of_iterations_exit, but return TRUE only if the niter - information holds unconditionally. */ +/* Like number_of_iterations_exit_assumptions, but return TRUE only if + the niter information holds unconditionally. */ bool number_of_iterations_exit (struct loop *loop, edge exit, @@ -4194,7 +4194,7 @@ nowrap_type_p (tree type) } /* Return true if we can prove LOOP is exited before evolution of induction - variabled {BASE, STEP} overflows with respect to its type bound. */ + variable {BASE, STEP} overflows with respect to its type bound. */ static bool loop_exits_before_overflow (tree base, tree step, |