From: rask Date: Fri, 27 Jul 2007 17:27:57 +0000 (+0000) Subject: * gcc.c-torture/execute/pr28651.c (main): Use INT_MAX instead of X-Git-Url: http://git.ipfire.org/?a=commitdiff_plain;h=e533e10061ff287e1df51d13302527bc7f6e4032;p=thirdparty%2Fgcc.git * 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. git-svn-id: svn+ssh://gcc.gnu.org/svn/gcc/trunk@126989 138bc75d-0d04-0410-961f-82ee72b054a4 --- diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index 76494062b005..8249df886228 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2007-07-27 Rask Ingemann Lambertsen + + * 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 PR c++/32346 diff --git a/gcc/testsuite/gcc.c-torture/execute/pr28651.c b/gcc/testsuite/gcc.c-torture/execute/pr28651.c index e7ccf8e26cca..74656fd01ff5 100644 --- a/gcc/testsuite/gcc.c-torture/execute/pr28651.c +++ b/gcc/testsuite/gcc.c-torture/execute/pr28651.c @@ -1,3 +1,5 @@ +#include + 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 3618040ee9c0..0847db28da91 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 bace4ffcadfe..0a370f7d82e1 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 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; }