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

   1 /*
   2 vrp-1.c from the execute part of the gcc torture tests.
   3 */
   4
   5 #include <testfwk.h>
   6
   7 int f (int a) {
   8         if (a != 2) {
   9                 a = -a;
  10                 if (a == 2)
  11                   return 0;
  12                 return 1;
  13         }
  14         return 1;
  15 }
  16
  17 void
  18 testTortureExecute (void) {
  19         if (f (-2))
  20                 ASSERT (0);
  21         return;
  22 }
  23