diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index a89be706dc20d813a009b5b1397f67ea9459ae34..1daa849639900fc6a69a5b7673e1a59e856bf8e7 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,5 +1,8 @@
 Fri Feb 23 15:28:39 2001  Richard Kenner  <kenner@vlsi1.ultra.nyu.edu>
 
+	* convert.c (convert_to_integer): Don't do unsigned unless result or
+	both inputs are unsigned.
+
 	* fold-const.c (fold_convert): Don't call size_int_type_wide if
 	input overflows.
 
diff --git a/gcc/convert.c b/gcc/convert.c
index dd1b91a4e0b1bfb6a21e0f230a5e4bc8f18546e9..b97d08fa4f7a544838c9571cbac8852dab174a25 100644
--- a/gcc/convert.c
+++ b/gcc/convert.c
@@ -310,13 +310,13 @@ convert_to_integer (type, expr)
 		  {
 		    /* Don't do unsigned arithmetic where signed was wanted,
 		       or vice versa.
-		       Exception: if either of the original operands were
+		       Exception: if both of the original operands were
 		       unsigned then can safely do the work as unsigned.
 		       And we may need to do it as unsigned
 		       if we truncate to the original size.  */
 		    typex = ((TREE_UNSIGNED (TREE_TYPE (expr))
-			      || TREE_UNSIGNED (TREE_TYPE (arg0))
-			      || TREE_UNSIGNED (TREE_TYPE (arg1)))
+			      || (TREE_UNSIGNED (TREE_TYPE (arg0))
+				  && TREE_UNSIGNED (TREE_TYPE (arg1))))
 			     ? unsigned_type (typex) : signed_type (typex));
 		    return convert (type,
 				    fold (build (ex_form, typex,