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

gcc/ChangeLog

+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

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:

gcc/testsuite/ChangeLog

+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.

gcc/testsuite/gcc.dg/pr14092-1.c

+/* 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;
+}
+