From: Paolo Bonzini <bonzini@gnu.org>
Date: Tue, 10 Feb 2004 13:41:16 +0000 (+0000)
Subject: re PR middle-end/14092 (fold strips conversion from pointer to integer)
X-Git-Tag: releases/gcc-4.0.0~10211
X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=31cc6081778b66c7fc1d0e864fea5a73dcbd25c8;p=thirdparty%2Fgcc.git

re PR middle-end/14092 (fold strips conversion from pointer to integer)

PR c/14092
* gcc.dg/pr14092-1.c: New testcase.
* fold-const.c (fold) <NEGATE_EXPR>: Convert result of
negate_expr back to the original type.

From-SVN: r77602
---

diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index 1f6b7482152b..c235d08ef500 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,9 @@
+2004-02-10  Paolo Bonzini  <bonzini@gnu.org>
+
+	PR c/14092
+	* fold-const.c (fold) <NEGATE_EXPR>: Convert result of
+	negate_expr back to the original type.
+
 2004-02-10  Alan Modra  <amodra@bigpond.net.au>
 
 	* config/rs6000/linux64.h (MD_FALLBACK_FRAME_STATE_FOR): Don't
diff --git a/gcc/fold-const.c b/gcc/fold-const.c
index 3f68051da2d8..71f1e9bce095 100644
--- a/gcc/fold-const.c
+++ b/gcc/fold-const.c
@@ -5785,7 +5785,7 @@ fold (tree expr)
 
     case NEGATE_EXPR:
       if (negate_expr_p (arg0))
-	return negate_expr (arg0);
+	return fold_convert (type, negate_expr (arg0));
       return t;
 
     case ABS_EXPR:
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b0bcf5fee414..a22f644a4abf 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,9 @@
+2004-02-10  Paolo Bonzini  <bonzini@gnu.org>
+
+	PR c/14092
+
+	* gcc.dg/pr14092-1.c: New testcase.
+
 2004-02-10  Alan Modra  <amodra@bigpond.net.au>
 
 	* gcc.dg/cpp/assert4.c: Fix typo last change.
diff --git a/gcc/testsuite/gcc.dg/pr14092-1.c b/gcc/testsuite/gcc.dg/pr14092-1.c
new file mode 100644
index 000000000000..86076c241e0d
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/pr14092-1.c
@@ -0,0 +1,17 @@
+/* PR c/14092
+ * Origin: bonzini@gnu.org
+ * rejects-valid
+ */
+/* { dg-do compile } */
+
+typedef struct _PLCI {
+  unsigned char x;
+  unsigned char buf[1];
+} PLCI;
+
+
+void nl_ind(PLCI * plci)
+{
+  plci->x = -((int)(plci->buf)) & 3;
+}
+