sdcc/support/regression/tests/gcc-torture-execute-20041114-1.c

   1 /*
   2    20041114-1.c from the execute part of the gcc torture suite.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #ifdef __SDCC
   8 #pragma std_c99
   9 #endif
  10
  11 /* Verify that
  12
  13    var <= 0 || ((long unsigned) (unsigned) (var - 1) < MAX_UNSIGNED_INT)
  14
  15    gets folded to 1.  */
  16
  17 #include <limits.h>
  18
  19 void link_failure (void);
  20
  21 volatile int v;
  22
  23 void
  24 foo (int var)
  25 {
  26   if (!(var <= 0
  27         || ((long unsigned) (unsigned) (var - 1) < UINT_MAX)))
  28     link_failure ();
  29 }
  30
  31 void
  32 testTortureExecute (void)
  33 {
  34   foo (v);
  35   return;
  36 }
  37
  38 void
  39 link_failure (void)
  40 {
  41   ASSERT (0);
  42 }
  43