tree-cfg.c (verify_gimple_expr): Fix check for conversions between integral types.

2007-09-01  Richard Guenther  <rguenther@suse.de>

	* tree-cfg.c (verify_gimple_expr): Fix check for conversions
	between integral types.  Also allow conversions between
	pointer types.

From-SVN: r128011

gcc/ChangeLog

+2007-09-01  Richard Guenther  <rguenther@suse.de>
+
+	* tree-cfg.c (verify_gimple_expr): Fix check for conversions
+	between integral types.  Also allow conversions between
+	pointer types.
+
 2007-08-31  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 
 	* optabs.c (prepare_float_lib_cmp): Use

gcc/tree-cfg.c

@@ -3574,8 +3574,10 @@ verify_gimple_expr (tree expr)
 	    return true;
 	  }
 
-	/* Allow conversions between integral types.  */
-        if (INTEGRAL_TYPE_P (type) == INTEGRAL_TYPE_P (TREE_TYPE (op)))
+	/* Allow conversions between integral types and between
+	   pointer types.  */
+        if ((INTEGRAL_TYPE_P (type) && INTEGRAL_TYPE_P (TREE_TYPE (op)))
+	    || (POINTER_TYPE_P (type) && POINTER_TYPE_P (TREE_TYPE (op))))
 	  return false;
 
 	/* Allow conversions between integral types and pointers only if