sdcc/support/regression/tests/gcc-torture-execute-compare-2.c

   1 /*
   2    compare-2.c from the execute part of the gcc torture tests.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #ifdef __SDCC
   8 #pragma std_c99
   9 #endif
  10
  11 /* Copyright (C) 2002 Free Software Foundation.
  12
  13    Ensure that the composite comparison optimization doesn't misfire
  14    and attempt to combine a signed comparison with an unsigned one.
  15
  16    Written by Roger Sayle, 3rd June 2002.  */
  17
  18 extern void abort (void);
  19
  20 int
  21 foo (int x, int y)
  22 {
  23   /* If miscompiled the following may become "x == y".  */
  24   return (x<=y) && ((unsigned int)x >= (unsigned int)y);
  25 }
  26
  27 void
  28 testTortureExecute (void)
  29 {
  30   if (! foo (-1,0))
  31     ASSERT (0);
  32   return;
  33 }
  34