From 1210573b1dc2b4151f7a1076e23d05f605f22b39 Mon Sep 17 00:00:00 2001 From: Jan Hubicka Date: Tue, 5 Jul 2016 18:02:52 +0200 Subject: [PATCH] tree-scalar-evoluiton.c (simple_iv): Use nowrap_type to check if IV can overflow. * tree-scalar-evoluiton.c (simple_iv): Use nowrap_type to check if IV can overflow. From-SVN: r238009 --- gcc/ChangeLog | 5 +++++ gcc/tree-scalar-evolution.c | 3 +-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/gcc/ChangeLog b/gcc/ChangeLog index 135fd5b678b..5e466b7cd7d 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,8 @@ +2016-07-05 Jan Hubicka + + * tree-scalar-evoluiton.c (simple_iv): Use nowrap_type to check if + IV can overflow. + 2016-07-05 Richard Biener * gimple-ssa-split-paths.c (find_block_to_duplicate_for_splitting_pa): diff --git a/gcc/tree-scalar-evolution.c b/gcc/tree-scalar-evolution.c index d6f2a2fba14..7c4c4336728 100644 --- a/gcc/tree-scalar-evolution.c +++ b/gcc/tree-scalar-evolution.c @@ -3375,8 +3375,7 @@ simple_iv (struct loop *wrto_loop, struct loop *use_loop, tree op, if (tree_contains_chrecs (iv->base, NULL)) return false; - iv->no_overflow = (!folded_casts && ANY_INTEGRAL_TYPE_P (type) - && TYPE_OVERFLOW_UNDEFINED (type)); + iv->no_overflow = !folded_casts && nowrap_type_p (type); /* Try to simplify iv base: -- 2.30.2