* src/SDCCast.c (createIvalType, createIvalStruct, createIvalArray,

[fw/sdcc] / support / regression / tests / zeropad.c

diff --git a/support/regression/tests/zeropad.c b/support/regression/tests/zeropad.c
index 788510443d731a962a218d69ab8e665c76c40795..24576a899adf241b2cbe74f19396751325d4a118 100644 (file)
--- a/support/regression/tests/zeropad.c
+++ b/support/regression/tests/zeropad.c
@@ -1,13 +1,57 @@
 /** Zeropad tests.
 
-    storage: idata, xdata, code,
+    storage: auto, idata, pdata, xdata, code,
 */
+#ifndef STORAGE
+#define STORAGE_{storage}
+#define STORAGE {storage}
+#endif
+
+#if defined (__GNUC__) && defined (__alpha__) && (__GNUC__ < 3)
+  /* since g fails on GCC 2.95.4 on alpha... */
+  #define FLEXARRAY 0
+  #define TEST_G    0
+#elif defined (STORAGE_auto)
+  /* only static flexible arrays are allowed */
+  #define FLEXARRAY 0
+  #define TEST_G    1
+#else
+  #define FLEXARRAY 1
+  #define TEST_G    1
+#endif
+
 #include <testfwk.h>
 
-#if defined(PORT_HOST) || defined(SDCC_z80) || defined(SDCC_gbz80)
-# define idata
-# define xdata
-# define code
+typedef unsigned int size_t;
+#define offsetof(s,m)   (size_t)&(((s *)0)->m)
+
+#if defined (STORAGE_auto)
+  void Zeropad(void)
+  {
+#endif //STORAGE_auto
+
+const char *string1 = "\x00\x01";
+const char string2[] = "\x00\x01";
+
+#ifndef PORT_HOST
+#pragma disable_warning 147 //no warning about excess initializers (W_EXCESS_INITIALIZERS)
+#pragma disable_warning  85 //no warning about unreferenced variables (W_NO_REFERENCE)
+//array will be truncated but warning will be suppressed
+//if truncation is incorrect, other ASSERTs will fail with high probability
+char STORAGE trunc[2] = {'a', 'b', 'c'};
+#endif
+
+char STORAGE array[5] = {'a', 'b', 'c'};
+
+#if TEST_G
+  struct w {
+    char a;
+    int  b;
+  } STORAGE g[3] = {
+    {'x', 1},
+    {'y'},
+    {'z', 3}
+  };
 #endif
 
 struct x {
@@ -15,23 +59,79 @@ struct x {
   char  b[10];
 };
 
-struct x {storage} teststruct[6] = {
+struct x STORAGE teststruct[5] = {
   { 10, {  1, 2, 3, 4, 5} },
   { 20, { 11 } },
   { 30, {  6, 7, 8} }
 };
 
-void
-testZeropad(void)
+#if FLEXARRAY
+  struct y {
+    short a;
+    char  b[];
+  };
+
+struct y STORAGE incompletestruct = {
+  10, {1, 2, 3, 4, 5}
+};
+#endif
+
+#if !defined (STORAGE_auto)
+void Zeropad(void)
 {
-#if ! (defined(SDCC_z80) || defined(SDCC_gbz80))
-  ASSERT(teststruct[0].b[1] ==  2);
+#endif //STORAGE_auto
+
+  ASSERT(string1[0] == '\x00');
+  ASSERT(string1[1] == '\x01');
+  ASSERT(string2[0] == '\x00');
+  ASSERT(string2[1] == '\x01');
+
+  ASSERT(array[2] == 'c');
+  ASSERT(array[4] == 0);
+
+#if TEST_G
+  ASSERT(g[1].a == 'y');
+  ASSERT(g[1].b == 0);
+  ASSERT(g[2].a == 'z');
+  ASSERT(g[2].b == 3);
 #endif
+
+  ASSERT(teststruct[0].b[1] ==  2);
   ASSERT(teststruct[0].b[5] ==  0);
   ASSERT(teststruct[1].b[0] == 11);
+  ASSERT(teststruct[4].b[9] ==  0);
 
   ASSERT(sizeof(teststruct[2].a) ==  2);
   ASSERT(sizeof(teststruct[1].b) == 10);
   ASSERT(sizeof(teststruct[1])   == 12);
-  ASSERT(sizeof(teststruct)      == 72);
+  ASSERT(sizeof(teststruct)      == 60);
+
+#if FLEXARRAY
+  ASSERT(incompletestruct.a    == 10);
+  ASSERT(incompletestruct.b[0] ==  1);
+  ASSERT(incompletestruct.b[4] ==  5);
+
+  ASSERT(sizeof(incompletestruct) == sizeof(struct y));
+  ASSERT(sizeof(incompletestruct) == offsetof(struct y, b));
+  ASSERT(sizeof(incompletestruct) == offsetof(struct x, b));
+#endif
+
+#if defined (STORAGE_auto)
+  array[4] = 1;
+#if TEST_G
+  g[1].b = 1;
+#endif
+  teststruct[0].b[5] = 1;
+  teststruct[4].b[9] = 1;
+#endif //STORAGE_auto
+}
+
+void
+testZeropad(void)
+{
+  Zeropad();
+
+#if defined (STORAGE_auto)
+  Zeropad(); //test reinitialization
+#endif //STORAGE_auto
 }