Commit e4d38a0c by Rask Ingemann Lambertsen Committed by Rask Ingemann Lambertsen

re PR testsuite/32471 (Testcases which always fail on targets where an int is 16 bits)

	PR testsuite/32471
	* gcc.dg/torture/pr30364-1.c (f)(main): Use INT_MAX instead of
	  assuming it is 0x7ffffffff.
	* gcc.dg/torture/pr30364-2.c (f)(main): Likewise.
	* gcc.dg/torture/pr30364-3.c (f)(main): Likewise.

From-SVN: r127005
parent dd52ecb0
2007-07-28 Rask Ingemann Lambertsen <rask@sygehus.dk>
PR testsuite/32471
* gcc.dg/torture/pr30364-1.c (f)(main): Use INT_MAX instead of
assuming it is 0x7ffffffff.
* gcc.dg/torture/pr30364-2.c (f)(main): Likewise.
* gcc.dg/torture/pr30364-3.c (f)(main): Likewise.
2007-07-27 Dominique d'Humieres <dominiq@lps.ens.fr>
* gfortran.dg/operator_3.f90: Fix dg directive.
/* { dg-do run } */
#include <limits.h>
extern void abort (void);
int f(int a, int b)
{
if (a > 0x7FFFFFF0) return 0;
if (b > 0x7FFFFFF0) return 0;
if (a > INT_MAX - 15) return 0;
if (b > INT_MAX - 15) return 0;
int c = (a - 20) + (b - 20);
return c > 0x7FFFFFF0;
return c > INT_MAX - 15;
}
int main()
{
if (f (0x7FFFFFF0, 41) != 1)
if (f (INT_MAX - 15, 41) != 1)
abort ();
return 0;
}
/* { dg-do run } */
#include <limits.h>
extern void abort (void);
int f(unsigned int a, unsigned int b)
{
if (a > 0x7FFFFFF0) return 0;
if (b > 0x7FFFFFF0) return 0;
if (a > INT_MAX - 15) return 0;
if (b > INT_MAX - 15) return 0;
int c = (a - 20) + (b - 20);
return c > 0x7FFFFFF0;
return c > INT_MAX - 15;
}
int main()
{
if (f (0x7FFFFFF0, 41) != 1)
if (f (INT_MAX - 15, 41) != 1)
abort ();
return 0;
}
/* { dg-do run } */
/* { dg-options "-fwrapv" } */
#include <limits.h>
extern void abort (void);
int f(int a, int b)
{
if (a > 0x7FFFFFF0) return 0;
if (b > 0x7FFFFFF0) return 0;
if (a > INT_MAX - 15) return 0;
if (b > INT_MAX - 15) return 0;
int c = (a - 20) + (b - 20);
return c > 0x7FFFFFF0;
return c > INT_MAX - 15;
}
int main()
{
if (f (0x7FFFFFF0, 41) != 1)
if (f (INT_MAX - 15, 41) != 1)
abort ();
return 0;
}
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment