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

   1 /* bug-2807.c
   2    Overwritten operand in code generation for division.
   3  */
   4
   5 #include <testfwk.h>
   6
   7 #include <stdint.h>
   8
   9 typedef struct
  10 {
  11     uint8_t interval;
  12     uint8_t duration;
  13 }
  14 Buzzer_request;
  15
  16 typedef struct
  17 {
  18     const Buzzer_request* request;
  19     uint8_t state;
  20 }
  21 Buzzer;
  22
  23 int f(const char *c)
  24 {
  25   static int truecount;
  26
  27   if(*c == 't')
  28     truecount++;
  29
  30   ASSERT(truecount <= 1);
  31
  32   return (0);
  33 }
  34
  35 void Buzzer_tick(Buzzer* const self)
  36 {
  37   const Buzzer_request* const request = self->request;
  38
  39   const uint8_t state = self->state + 1U;
  40
  41   self->state = state;
  42
  43   if(request->duration && (state < request->duration))
  44   {
  45     f("stop\n");
  46   }
  47   else if (request->interval)
  48   {
  49     if ((state % request->interval) == 0U)
  50     {
  51       // This if statement is always true due to overwritten request->interval.
  52       if((state / request->interval) % 2U)
  53       {
  54         f("true\n");
  55       }
  56       else
  57       {
  58         f("false\n");
  59       }
  60     }
  61   }
  62 }
  63
  64
  65 void testBuzzer(void)
  66 {
  67   Buzzer_request request = { 1, 0 };
  68   Buzzer buzzer = { &request, 0 };
  69
  70   Buzzer_tick(&buzzer);
  71   Buzzer_tick(&buzzer);
  72 }
  73