From: Richard Kenner <kenner@gcc.gnu.org>
Date: Fri, 28 Jul 1995 13:36:30 +0000 (-0400)
Subject: (pointer_int_sum): Don't distribute if intop is unsigned and not the
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=ba11c17994a5aba402252e4a7d0e5c91cad0aea9;p=gcc.git

(pointer_int_sum): Don't distribute if intop is unsigned and not the
same size as ptrop.

From-SVN: r10186
---

diff --git a/gcc/c-typeck.c b/gcc/c-typeck.c
index 4e41e5fc224..b16a7bfb820 100644
--- a/gcc/c-typeck.c
+++ b/gcc/c-typeck.c
@@ -2648,7 +2648,13 @@ pointer_int_sum (resultcode, ptrop, intop)
       && TREE_CONSTANT (size_exp)
       /* If the constant comes from pointer subtraction,
 	 skip this optimization--it would cause an error.  */
-      && TREE_CODE (TREE_TYPE (TREE_OPERAND (intop, 0))) == INTEGER_TYPE)
+      && TREE_CODE (TREE_TYPE (TREE_OPERAND (intop, 0))) == INTEGER_TYPE
+      /* If the constant is unsigned, and smaller than the pointer size,
+	 then we must skip this optimization.  This is because it could cause
+	 an overflow error if the constant is negative but INTOP is not.  */
+      && (! TREE_UNSIGNED (TREE_TYPE (intop))
+	  || (TYPE_PRECISION (TREE_TYPE (intop))
+	      == TYPE_PRECISION (TREE_TYPE (ptrop)))))
     {
       enum tree_code subcode = resultcode;
       tree int_type = TREE_TYPE (intop);