tree-vrp.c (simplify_conversion_using_ranges): Make sure the final type is integral.

2011-07-13  Richard Guenther  <rguenther@suse.de>

	* tree-vrp.c (simplify_conversion_using_ranges): Make sure
	the final type is integral.

	* gcc.dg/torture/20110713-1.c: New testcase.

From-SVN: r176227

gcc/ChangeLog

+2011-07-13  Richard Guenther  <rguenther@suse.de>
+
+	* tree-vrp.c (simplify_conversion_using_ranges): Make sure
+	the final type is integral.
+
 2011-07-13  Bernd Schmidt  <bernds@codesourcery.com>
 
 	* sched-int.h (struct _dep): Add member cost.

gcc/testsuite/ChangeLog

+2011-07-13  Richard Guenther  <rguenther@suse.de>
+
+	* gcc.dg/torture/20110713-1.c: New testcase.
+
 2011-07-12  Andrew Pinski  <pinskia@gmail.com>
 
 	PR rtl-opt/49474

gcc/testsuite/gcc.dg/torture/20110713-1.c

+/* { dg-do compile } */
+/* { dg-require-effective-target ilp32 } */
+
+void *
+test (unsigned long long x, unsigned long long y)
+{
+    return (void *) (unsigned int) (x / y);
+}

gcc/tree-vrp.c

@@ -7353,6 +7353,8 @@ simplify_conversion_using_ranges (gimple stmt)
   double_int innermin, innermax, middlemin, middlemax;
 
   finaltype = TREE_TYPE (gimple_assign_lhs (stmt));
+  if (!INTEGRAL_TYPE_P (finaltype))
+    return false;
   middleop = gimple_assign_rhs1 (stmt);
   def_stmt = SSA_NAME_DEF_STMT (middleop);
   if (!is_gimple_assign (def_stmt)