diff options
| author | Rask Ingemann Lambertsen <rask@sygehus.dk> | 2007-07-27 19:27:57 +0200 |
|---|---|---|
| committer | Rask Ingemann Lambertsen <rask@gcc.gnu.org> | 2007-07-27 17:27:57 +0000 |
| commit | f017014e0923f9f9a3ccbd00be2c24f91dafd6ac (patch) | |
| tree | 1698185ec64381733f97e9f06f0044454231fb8c /gcc | |
| parent | bd12160ab85e4a251bfbd28e2db54e191ccce1b6 (diff) | |
| download | gcc-f017014e0923f9f9a3ccbd00be2c24f91dafd6ac.tar.gz | |
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
Diffstat (limited to 'gcc')
| -rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.c-torture/execute/pr28651.c | 4 | ||||
| -rw-r--r-- | gcc/testsuite/gcc.dg/Wconversion-integer-no-sign.c | 4 | ||||
| -rw-r--r-- | 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 76494062b00..8249df88622 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 e7ccf8e26cc..74656fd01ff 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 3618040ee9c..0847db28da9 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 bace4ffcadf..0a370f7d82e 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; } |