sdcc/support/regression/tests/setjmp.c

   1 /** setjmp/longjmp tests (focusing on getting the jump right).
   2 */
   3 #include <testfwk.h>
   4
   5 #if !defined(__SDCC_pic14) // Unimplemented setjmp
   6 #include <setjmp.h>
   7
   8 unsigned int global_int = 0;
   9 unsigned int *gpInt;
  10
  11 #if defined(__SDCC_mcs51)
  12 #include <8052.h>
  13
  14 void
  15 T2_isr (void) __interrupt (5) //no using
  16 {
  17   //do not clear flag TF2 so it keeps interrupting !
  18   (*gpInt)++;
  19 }
  20 #endif
  21
  22 void
  23 try_fun (jmp_buf catch, int except)
  24 {
  25   longjmp (catch, except);
  26 }
  27
  28 jmp_buf buf;
  29
  30 void g(void)
  31 {
  32         longjmp(buf, 0); // When called with an argument of 0, longjmp() makes setjmp() return 1 instead.
  33         g();
  34 }
  35
  36 void f1(void)
  37 {
  38         static int i;
  39         int j;
  40         i= 0;
  41         j= setjmp(buf);
  42         ASSERT(i == j);
  43         i++;
  44         if(!j)
  45                 g();
  46 }
  47
  48 #endif
  49
  50 // Get FreeBSD version to skip part of test for known broken setjmp (FreeBSD bug #255320, affecting at least FreeBSD 13.0 and FreeBSD 13.1).
  51 #ifdef __FreeBSD__
  52 #include <sys/param.h>
  53 #endif
  54
  55 void
  56 testJmp (void)
  57 {
  58 #if !defined(__SDCC_pic14) // Unimplemented setjmp
  59   jmp_buf catch;
  60   int exception;
  61
  62 #if defined(__SDCC_mcs51)
  63   gpInt = &global_int;
  64   //enable the interrupt and set it's flag to generate some heavy stack usage
  65   ET2 = 1;
  66   EA = 1;
  67   TF2 = 1;
  68 #endif
  69
  70   exception = setjmp (catch);
  71   if (exception == 0)
  72     {
  73       try_fun (catch, 1);
  74       //should not get here!
  75       ASSERT (0);
  76     }
  77   ASSERT (exception == 1);
  78
  79 #if !defined(__FreeBSD__) || __FreeBSD_version >= 1302000 // Known FreeBSD 13.0 and 13.1 bug #255320.
  80   f1();
  81 #endif
  82 #endif
  83
  84 // C99 might require setjmp to be a macro. The standard seems self-contradicting on this issue.
  85 //#ifndef setjmp
  86 //  ASSERT(0);
  87 //#endif
  88 }
  89