sdcc/support/regression/tests/fptr_cast_array_init.c

   1 /** Test type cast with function pointers in array initialization.
   2  */
   3
   4 #include <testfwk.h>
   5
   6 #ifdef __SDCC
   7 /* don't spam the output with "pointer types incompatible" warnings */
   8 #pragma disable_warning 244
   9 #endif
  10
  11 void a(void) {}
  12
  13 typedef void (*fp)(void);
  14
  15 void testFptrCastOld(void)
  16 {
  17   /* old functionality */
  18   fp tab1[2] = {a, 0};
  19   ASSERT(tab1[0] == a);
  20   fp tab2[2] = {&a, 0};
  21   ASSERT(tab2[0] == a);
  22   fp tab3[2] = {(fp)a, 0};
  23   ASSERT(tab3[0] == a);
  24   fp tab4[2] = {(fp)&a, 0};
  25   ASSERT(tab4[0] == a);
  26   /* sizeof(void *) < sizeof(fp) implies undefined behavior,
  27    * i.e. the result of the comparison does not matter */
  28   void * tab5[2] = {a, 0};
  29   ASSERT(sizeof(void *) < sizeof(fp) || ((fp)tab5[0]) == a);
  30   void * tab6[2] = {&a, 0};
  31   ASSERT(sizeof(void *) < sizeof(fp) || ((fp)tab6[0]) == a);
  32 }
  33
  34 void testFptrCastNew(void)
  35 {
  36   /* new functionality */
  37   void * tab1[2] = {(void*)a, 0};
  38   ASSERT(sizeof(void *) < sizeof(fp) || ((fp)tab1[0]) == a);
  39   void * tab2[2] = {(void*)&a, 0};
  40   ASSERT(sizeof(void *) < sizeof(fp) || ((fp)tab2[0]) == a);
  41   char * tab3[2] = {(char*)a, 0};
  42   ASSERT(sizeof(char *) < sizeof(fp) || ((fp)tab3[0]) == a);
  43   char * tab4[2] = {(char*)&a, 0};
  44   ASSERT(sizeof(char *) < sizeof(fp) || ((fp)tab4[0]) == a);
  45 }