From f017014e0923f9f9a3ccbd00be2c24f91dafd6ac Mon Sep 17 00:00:00 2001
From: Rask Ingemann Lambertsen <rask@sygehus.dk>
Date: Fri, 27 Jul 2007 19:27:57 +0200
Subject: [PATCH] pr28651.c (main): Use INT_MAX instead of assuming it is
 0x7fffffff.

	* gcc.c-torture/execute/pr28651.c (main): Use INT_MAX instead of
	  assuming it is 0x7fffffff.
	* gcc.dg/tree-ssa/vrp29.c (decCompare)(main): Likewise.
	* gcc.dg/Wconversion-integer-no-sign.c (h): Likewise.

From-SVN: r126989
---
 gcc/testsuite/ChangeLog                            | 7 +++++++
 gcc/testsuite/gcc.c-torture/execute/pr28651.c      | 4 +++-
 gcc/testsuite/gcc.dg/Wconversion-integer-no-sign.c | 4 ++--
 gcc/testsuite/gcc.dg/tree-ssa/vrp29.c              | 7 ++++---
 4 files changed, 16 insertions(+), 6 deletions(-)

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 7649406..8249df8 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,10 @@
+2007-07-27  Rask Ingemann Lambertsen  <rask@sygehus.dk>
+
+	* gcc.c-torture/execute/pr28651.c (main): Use INT_MAX instead of
+	  assuming it is 0x7fffffff.
+	* gcc.dg/tree-ssa/vrp29.c (decCompare)(main): Likewise.
+	* gcc.dg/Wconversion-integer-no-sign.c (h): Likewise.
+
 2007-07-27  Mark Mitchell  <mark@codesourcery.com>
 
 	PR c++/32346
diff --git a/gcc/testsuite/gcc.c-torture/execute/pr28651.c b/gcc/testsuite/gcc.c-torture/execute/pr28651.c
index e7ccf8e..74656fd 100644
--- a/gcc/testsuite/gcc.c-torture/execute/pr28651.c
+++ b/gcc/testsuite/gcc.c-torture/execute/pr28651.c
@@ -1,3 +1,5 @@
+#include <limits.h>
+
 extern void abort (void);
 int __attribute__((noinline))
 foo (unsigned int u)
@@ -8,7 +10,7 @@ foo (unsigned int u)
 int
 main (int argc, char *argv[])
 {
-  unsigned int u = 0x7fffffff;
+  unsigned int u = INT_MAX;
 
   if (foo (u) == 0)
     abort();
diff --git a/gcc/testsuite/gcc.dg/Wconversion-integer-no-sign.c b/gcc/testsuite/gcc.dg/Wconversion-integer-no-sign.c
index 3618040..0847db2 100644
--- a/gcc/testsuite/gcc.dg/Wconversion-integer-no-sign.c
+++ b/gcc/testsuite/gcc.dg/Wconversion-integer-no-sign.c
@@ -60,8 +60,8 @@ void h (int x)
   uc = '\xa0'; /* Warned by -Wsign-conversion.  */
   fui ('\xa0'); /* Warned by -Wsign-conversion.  */
   ui = '\xa0';  /* Warned by -Wsign-conversion.  */
-  fsi (0x80000000); /* Warned by -Wsign-conversion.  */
-  si = 0x80000000;  /* Warned by -Wsign-conversion.  */
+  fsi ((unsigned) INT_MAX + 1U); /* Warned by -Wsign-conversion.  */
+  si = (unsigned) INT_MAX + 1U;  /* Warned by -Wsign-conversion.  */
 
 
   fsi (UINT_MAX - 1);  /* Warned by -Wsign-conversion.  */
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/vrp29.c b/gcc/testsuite/gcc.dg/tree-ssa/vrp29.c
index bace4ff..0a370f7 100644
--- a/gcc/testsuite/gcc.dg/tree-ssa/vrp29.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/vrp29.c
@@ -1,20 +1,21 @@
 /* { dg-do run } */
 /* { dg-options "-O2" } */
+#include <limits.h>
 
 extern void abort(void);
 
 void decCompareOp (int result)
 {
-  if (result != (int)0x80000000)
+  if (result != (int) (INT_MAX + 1U))
     {
       result = -result;
-      if (result != (int)0x80000001)
+      if (result != (int) (INT_MAX + 2U))
         abort ();
     }
 }
 
 int main()
 {
-  decCompareOp (0x7fffffff);
+  decCompareOp (INT_MAX);
   return 0;
 }
-- 
2.7.4