1 int printf(char *c, ...);
   2 void exit(int c);
   3 
   4 #undef PRINT_OUTPUTS
   5 
   6 static void test_func_args(int x, int y)
   7 {
   8         if (x == y)
   9                 exit(1);
  10 }
  11 
  12 static int binop_s32(int x, int y)
  13 {
  14         int a;
  15 
  16         a = a + x;
  17         a = a / y;
  18         a = a * x;
  19         a = a - y;
  20 
  21         return a;
  22 }
  23 
  24 static void test_binops(void)
  25 {
  26         int tmp_s32 = binop_s32(987123, 234);
  27 
  28 #ifdef PRINT_OUTPUTS
  29         printf("binop_s32(987123, 234) == %d\n", tmp_s32);
  30 #else
  31         if (tmp_s32 != -1470599007)
  32                 exit(2);
  33 #endif
  34 }
  35 
  36 int main (int argc, char *argv[])
  37 {
  38         test_func_args(1, 2);
  39         test_binops();
  40 
  41         return 0;
  42 }
  43 
  44 /*
  45  * check-name: binary operations
  46  */