1/* Copyright (C) 2004 Free Software Foundation.
2
3   Ensure that the composite comparison optimization doesn't misfire
4   and attempt to combine an integer comparison with a floating-point one.
5
6   Written by Paolo Bonzini, 26th May 2004.  */
7
8extern void abort (void);
9
10int
11foo (double x, double y)
12{
13  /* If miscompiled the following may become false.  */
14  return (x > y) && ((int)x == (int)y);
15}
16
17int
18main ()
19{
20  if (! foo (1.3,1.0))
21    abort ();
22  return 0;
23}
24
25