sdcc/support/regression/tests/bug-3778.c

   1 /** bug-3778.c: Incorrect top byte on 24-bit function pointers
   2 */
   3
   4 #include <testfwk.h>
   5
   6 int j;
   7
   8 #if defined(__SDCC_stm8) && defined(__SDCC_MODEL_LARGE) // Fill lower 32KB of flash, so f1 or f2 is above 0x10000.
   9 #define ARRAYSIZE 32000
  10 long k;
  11 void dummyfunc(void)
  12 {
  13         switch(k)
  14         {
  15         case 1:
  16                 j = (j + 1) % (j - 1);
  17         case 2:
  18                 j = (j - 1) % (j + 1);
  19         case 3:
  20                 j = (j + 1) % (j + 1);
  21         case 4:
  22                 j = (j - 1) % (j - 1);
  23         case 5:
  24                 j = (j + 2) % (j - 2);
  25         case 6:
  26                 j = (j - 2) % (j + 2);
  27         }
  28 }
  29 #else
  30 #define ARRAYSIZE 1
  31 #endif
  32
  33 const char c[ARRAYSIZE];
  34
  35 void f1(char c, int i) __reentrant
  36 {
  37         j = c + i;
  38 }
  39
  40 void g1(void(*ptr)(char, int) __reentrant)
  41 {
  42         (*ptr)(1, 2); // Topmost byte of ptr incorrectly assumed to be 0.
  43 }
  44
  45 void h1(void)
  46 {
  47         g1(&f1);
  48 }
  49
  50 void f2(char c, int i) __reentrant
  51 {
  52         j = c + i;
  53 }
  54
  55 void g2(void(*ptr)(char, int) __reentrant)
  56 {
  57         (*ptr)(2, 3); // Topmost byte of ptr incorrectly assumed to be 0.
  58 }
  59
  60 void h2(void)
  61 {
  62         g2(&f2);
  63 }
  64
  65 void
  66 testBug(void)
  67 {
  68         h1();
  69         ASSERT(j == 3);
  70         h2();
  71         ASSERT(j == 5);
  72 }
  73