sdcc/support/regression/tests/bug2740884.c

   1 /*
   2   bug2740884.c
   3  */
   4
   5 /*
   6  * [ 2740884 ] Incorrect assignment in array of structs
   7  * https://sourceforge.net/tracker/?func=detail&group_id=599&atid=100599&aid=2740884
   8  *
   9  * a bug in SDCCast.c:1883 isConformingBody()
  10  *  case... PTR_OP
  11  *  causing loopreversal to be erroneously applied here
  12  *
  13  *  case... INC_OP and DEC_OP
  14  *    suffer the same way
  15  *
  16  * (compile "make -C .. ALL_TESTS=./tests/bug2740884.c")
  17  */
  18
  19 #include <testfwk.h>
  20
  21
  22 struct {
  23   char Route;
  24 } doors[4];
  25
  26 void foo(void) {
  27   char i;
  28   for (i = 1; i <= 2; i++)
  29     doors[i].Route = 0x24;
  30 }
  31
  32 void bar(void) {
  33   char i;
  34   for (i = 1; i <= 2; i++)
  35     doors[i].Route ++;
  36 }
  37
  38 void baz(void) {
  39   char i;
  40   for (i = 1; i <= 2; i++)
  41     doors[i].Route --;
  42 }
  43
  44
  45 void
  46 testBug(void)
  47 {
  48   doors[0].Route = 0;
  49   doors[1].Route = 0;
  50   doors[2].Route = 0;
  51   doors[3].Route = 0;
  52
  53   foo();
  54
  55   ASSERT(doors[0].Route ==    0);
  56   ASSERT(doors[1].Route == 0x24);
  57   ASSERT(doors[2].Route == 0x24);
  58   ASSERT(doors[3].Route ==    0);
  59
  60   bar();
  61
  62   ASSERT(doors[0].Route ==    0);
  63   ASSERT(doors[1].Route == 0x25);
  64   ASSERT(doors[2].Route == 0x25);
  65   ASSERT(doors[3].Route ==    0);
  66
  67   baz();
  68
  69   ASSERT(doors[0].Route ==    0);
  70   ASSERT(doors[1].Route == 0x24);
  71   ASSERT(doors[2].Route == 0x24);
  72   ASSERT(doors[3].Route ==    0);
  73 }