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

+2016-07-05  Jan Hubicka  <jh@suse.cz>
+
+	* tree-scalar-evoluiton.c (simple_iv): Use nowrap_type to check if
+	IV can overflow.
+
 2016-07-05  Richard Biener  <rguenther@suse.de>
 
 	* gimple-ssa-split-paths.c (find_block_to_duplicate_for_splitting_pa):

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: