re PR middle-end/31023 (Fold is agnostic of integer sub-types)

2008-03-30  Richard Guenther  <rguenther@suse.de>

	PR middle-end/31023
	* fold-const.c (fold_sign_changed_comparison): Do leave
	conversions to base-types alone.

From-SVN: r133731

gcc/ChangeLog

+2008-03-30  Richard Guenther  <rguenther@suse.de>
+
+	PR middle-end/31023
+	* fold-const.c (fold_sign_changed_comparison): Do leave
+	conversions to base-types alone.
+
 2008-03-29  Andrew Pinski  <andrew_pinski@playstation.sony.com>
 
 	* config/rs6000/rs6000.c (rs6000_stack_info): Don't force saving of

gcc/fold-const.c

@@ -6807,6 +6807,11 @@ fold_sign_changed_comparison (enum tree_code code, tree type,
   if (TYPE_PRECISION (inner_type) != TYPE_PRECISION (outer_type))
     return NULL_TREE;
 
+  /* If the conversion is from an integral subtype to its basetype
+     leave it alone.  */
+  if (TREE_TYPE (inner_type) == outer_type)
+    return NULL_TREE;
+
   if (TREE_CODE (arg1) != INTEGER_CST
       && !((TREE_CODE (arg1) == NOP_EXPR
 	    || TREE_CODE (arg1) == CONVERT_EXPR)