sdcc/support/valdiag/tests/bug-3457.c

   1 /* bug-3457.c
   2
   3    Wrong line number on divide by 0 warning
   4
   5    Based on GPL 2.0 code by "Under4MHz"
   6  */
   7
   8 #ifdef TEST1
   9 int abs (int);
  10
  11 void test(void) {
  12
  13     int Y = 0;
  14
  15     int inf = abs( 1 / Y ); /* WARNING(SDCC) */ /* IGNORE(GCC) */
  16     int a = 0;
  17     int b = 0;
  18     int c = 0;
  19     for(int i = 0; i < 10; i++)
  20     {
  21         c++;
  22     }
  23 }
  24 #endif
  25