sdcc/support/regression/tests/zeropad.c.in

   1 /** Zeropad tests.
   2
   3     storage: auto, __idata, __pdata, __xdata, __code,
   4 */
   5 #ifndef STORAGE
   6 #define STORAGE_{storage}
   7 #define STORAGE {storage}
   8 #endif
   9
  10 #if defined (__GNUC__) && defined (__alpha__) && (__GNUC__ < 3)
  11   /* since g fails on GCC 2.95.4 on alpha... */
  12   #define FLEXARRAY 0
  13   #define TEST_G    0
  14 #elif defined (STORAGE_auto)
  15   /* only static flexible arrays are allowed */
  16   #define FLEXARRAY 0
  17   #define TEST_G    1
  18 #else
  19   #define FLEXARRAY 1
  20   #define TEST_G    1
  21 #endif
  22
  23 #include <testfwk.h>
  24 #include <stddef.h>
  25
  26 #ifndef __SDCC_pdk14 // Lack of memory
  27
  28 #if defined (STORAGE_auto)
  29   void Zeropad(void)
  30   {
  31 #else
  32   extern char STORAGE bug1470790[3];
  33          char STORAGE bug1470790[] = {1, };
  34
  35 #endif //STORAGE_auto
  36
  37 const char *string1 = "\x00\x01";
  38 const char string2[] = "\x00\x01";
  39
  40 #ifndef PORT_HOST
  41 #pragma disable_warning 147 //no warning about excess initializers (W_EXCESS_INITIALIZERS)
  42 #pragma disable_warning  85 //no warning about unreferenced variables (W_NO_REFERENCE)
  43 //array will be truncated but warning will be suppressed
  44 //if truncation is incorrect, other ASSERTs will fail with high probability
  45 char STORAGE trunc[2] = {'a', 'b', 'c'};
  46 #endif
  47
  48 char STORAGE array[5] = {'a', 'b', 'c'};
  49
  50 #if TEST_G
  51   struct w {
  52     char a;
  53     int  b;
  54   } STORAGE g[3] = {
  55     {'x', 1},
  56     {'y'},
  57     {'z', 3}
  58   };
  59 #endif
  60
  61 struct x {
  62   short a;
  63   char  b[10];
  64 };
  65
  66 struct x STORAGE teststruct[5] = {
  67   { 10, {  1, 2, 3, 4, 5} },
  68   { 20, { 11 } },
  69   { 30, {  6, 7, 8} }
  70 };
  71
  72 #if FLEXARRAY
  73   struct y {
  74     short a;
  75     char  b[];
  76   };
  77
  78 struct y STORAGE incompletestruct = {
  79   10, {1, 2, 3, 4, 5}
  80 };
  81 #endif
  82
  83 struct z {
  84   short a;
  85   void (*fp)(void);
  86 };
  87
  88 //see bug 2881971
  89 struct z STORAGE funcptrstruct = {
  90   10
  91 };
  92
  93 #if !defined (STORAGE_auto)
  94 void
  95 Zeropad (void)
  96 {
  97   ASSERT (bug1470790[0] == 1);
  98   ASSERT (bug1470790[1] == 0);
  99 #endif //STORAGE_auto
 100
 101   ASSERT (string1[0] == '\x00');
 102   ASSERT (string1[1] == '\x01');
 103   ASSERT (string2[0] == '\x00');
 104   ASSERT (string2[1] == '\x01');
 105
 106   ASSERT (array[2] == 'c');
 107   ASSERT (array[4] == 0);
 108
 109 #if TEST_G
 110   ASSERT (g[1].a == 'y');
 111   ASSERT (g[1].b == 0);
 112   ASSERT (g[2].a == 'z');
 113   ASSERT (g[2].b == 3);
 114 #endif
 115
 116   ASSERT (teststruct[0].b[1] ==  2);
 117   ASSERT (teststruct[0].b[5] ==  0);
 118   ASSERT (teststruct[1].b[0] == 11);
 119   ASSERT (teststruct[4].b[9] ==  0);
 120
 121   ASSERT (sizeof(teststruct[2].a) ==  2);
 122   ASSERT (sizeof(teststruct[1].b) == 10);
 123   ASSERT (sizeof(teststruct[1])   == 12);
 124   ASSERT (sizeof(teststruct)      == 60);
 125
 126 #if FLEXARRAY
 127   ASSERT (incompletestruct.a    == 10);
 128   ASSERT (incompletestruct.b[0] ==  1);
 129   ASSERT (incompletestruct.b[4] ==  5);
 130
 131   ASSERT (sizeof (incompletestruct) == sizeof (struct y));
 132   ASSERT (sizeof (incompletestruct) == offsetof (struct y, b));
 133   ASSERT (sizeof (incompletestruct) == offsetof (struct x, b));
 134 #endif
 135
 136 #if defined (STORAGE_auto)
 137   array[4] = 1;
 138 #if TEST_G
 139   g[1].b = 1;
 140 #endif
 141   teststruct[0].b[5] = 1;
 142   teststruct[4].b[9] = 1;
 143 #endif //STORAGE_auto
 144 }
 145 #endif
 146
 147 void
 148 testZeropad (void)
 149 {
 150 #ifndef __SDCC_pdk14 // Lack of memory
 151   Zeropad ();
 152
 153 #if defined (STORAGE_auto)
 154   Zeropad (); //test reinitialization
 155 #endif //STORAGE_auto
 156 #endif
 157 }