From f017014e0923f9f9a3ccbd00be2c24f91dafd6ac Mon Sep 17 00:00:00 2001 From: Rask Ingemann Lambertsen Date: Fri, 27 Jul 2007 19:27:57 +0200 Subject: 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/gcc.dg/tree-ssa/vrp29.c | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'gcc/testsuite/gcc.dg/tree-ssa') 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 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; } -- cgit v1.1