summaryrefslogtreecommitdiff
path: root/gcc/tree-ssa-loop-niter.c
diff options
context:
space:
mode:
authorrsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>2013-10-29 19:18:38 +0000
committerrsandifo <rsandifo@138bc75d-0d04-0410-961f-82ee72b054a4>2013-10-29 19:18:38 +0000
commitcd9b55160a035e5bfe8a9a455c00b414846d7418 (patch)
tree73466a5e32441847e384089a036858ba37c539fd /gcc/tree-ssa-loop-niter.c
parent271e739a45b40a1e32b4fb539092397ec4dbb146 (diff)
Make ordered comparisons enforce the same type rules as equality comparisons.
Get rid of INT_CST_LT_UNSIGNED. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/branches/wide-int@204175 138bc75d-0d04-0410-961f-82ee72b054a4
Diffstat (limited to 'gcc/tree-ssa-loop-niter.c')
-rw-r--r--gcc/tree-ssa-loop-niter.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/gcc/tree-ssa-loop-niter.c b/gcc/tree-ssa-loop-niter.c
index e926951967ce..d0cf228c59aa 100644
--- a/gcc/tree-ssa-loop-niter.c
+++ b/gcc/tree-ssa-loop-niter.c
@@ -2520,7 +2520,7 @@ do_warn_aggressive_loop_optimizations (struct loop *loop,
|| loop->warned_aggressive_loop_optimizations
/* Only warn if undefined behavior gives us lower estimate than the
known constant bound. */
- || wi::cmpu (i_bound, loop->nb_iterations) >= 0
+ || wi::cmpu (i_bound, wi::to_widest (loop->nb_iterations)) >= 0
/* And undefined behavior happens unconditionally. */
|| !dominated_by_p (CDI_DOMINATORS, loop->latch, gimple_bb (stmt)))
return;