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

   1 /* bug-3711.c
   2    A bug in mcs51 code generation for __reentrant functions with __bit parameters.
   3 */
   4
   5 #include <testfwk.h>
   6
   7 #if !defined(__SDCC_mcs51) && !defined(__SDCC_ds390)
   8 #define __bit _Bool
   9 #endif
  10
  11 void f0(__bit b) __reentrant;
  12 void f1(unsigned char c, __bit b) __reentrant;
  13 void f2(__bit b, unsigned char c) __reentrant;
  14 void f3(unsigned long long l, __bit b) __reentrant;
  15 void f4(__bit b, unsigned long long l) __reentrant;
  16 void f5 (unsigned char c, const unsigned char __code* cp, unsigned int i, unsigned int j, __bit b, const void __code* vcp) __reentrant;
  17
  18 void g(void)
  19 {
  20         f0(0);
  21         f1(1, 0);
  22         f2(0, 1);
  23         f3(1, 0);
  24 #ifndef __SDCC_mcs51 // Bug #3712
  25         f4(0, 1);
  26 #endif
  27         f5(2, 0, 3, 4, 1, 0);
  28 }
  29
  30 void
  31 testBug(void)
  32 {
  33         g();
  34 }
  35
  36 void f0(__bit b) __reentrant
  37 {
  38         ASSERT (b == 0);
  39 }
  40
  41 void f1(unsigned char c, __bit b) __reentrant
  42 {
  43         ASSERT (c == 1);
  44         ASSERT (b == 0);
  45 }
  46
  47 void f2(__bit b, unsigned char c) __reentrant
  48 {
  49         ASSERT (b == 0);
  50         ASSERT (c == 1);
  51 }
  52
  53 void f3(unsigned long long l, __bit b) __reentrant
  54 {
  55         ASSERT (l == 1);
  56         ASSERT (b == 0);
  57 }
  58
  59 #ifndef __SDCC_mcs51 // Bug #3712
  60 void f4(__bit b, unsigned long long l) __reentrant
  61 {
  62         ASSERT (b == 0);
  63         ASSERT (l == 1);
  64 }
  65 #endif
  66
  67 void f5 (unsigned char c, const unsigned char __code* cp, unsigned int i, unsigned int j, __bit b, const void __code* vcp) __reentrant
  68 {
  69         ASSERT (c == 2);
  70         ASSERT (cp == 0);
  71         ASSERT (i == 3);
  72         ASSERT (j == 4);
  73         ASSERT (b == 1);
  74         ASSERT (vcp == 0);
  75 }
  76