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

   1 /* Division by powers of two.
   2  */
   3 #include <testfwk.h>
   4 #include <stddef.h>
   5
   6 typedef unsigned int UINT;
   7
   8 typedef struct _HeapEntryState
   9 {
  10   void *pBase;
  11   UINT uFlags;
  12 } HeapEntryState;
  13
  14 static HeapEntryState *
  15 _getHeapEntryState (void *p, HeapEntryState *pStates, UINT nStateEntries)
  16 {
  17   int uLeft = -1, uRight = nStateEntries, uMiddle;
  18
  19   while (uRight - uLeft > 1)
  20     {
  21       int iDiff;
  22
  23       uMiddle = (uLeft + uRight)/2;
  24       /* A divide by zero is added just before iDiff is assigned */
  25       iDiff = pStates[uMiddle].pBase - p;
  26
  27       if (iDiff > 0)
  28         {
  29           uRight = uMiddle;
  30         }
  31       else if (iDiff < 0)
  32         {
  33           uLeft = uMiddle;
  34         }
  35       else
  36         {
  37           return pStates + uMiddle;
  38         }
  39     }
  40
  41   return NULL;
  42 }
  43
  44 void
  45 testDivByZero (void)
  46 {
  47   HeapEntryState aStates[] = {
  48     { (void __xdata *)1, 0 }
  49   };
  50   void *p = (void __xdata *)0x1234;
  51
  52   ASSERT (_getHeapEntryState (p, aStates, 1) == NULL);
  53
  54   aStates[0].pBase = p;
  55   ASSERT (_getHeapEntryState (p, aStates, 1) == aStates + 0);
  56 }