source: src/Clight/test/spaces.c @ 1631

void *ptrchange(__data void *p) { return p; }
__data void *ptrchange2(void *p) { return p; }
/* __data void *ptrchange3(__xdata void *p) { return p; } */

void silly() {
  __data int i = 5;
}

__data int * __xdata foo;

__code int *incode;

__data int * __xdata * __code bar = 0;
/* Not handled by CompCert semantics
__data int * __xdata * __code bar2 = &foo;
*/

__data int array1[5];

__data int * __xdata array2[3];

__data const int array_lit[] = { 1,1,2,3,5,8,13 };

/* fn1 is a global variable located in idata memory,
   which contains a pointer to a value in code memory,
   which is a function that takes and returns a pointer to an integer in xdata.
 */
__xdata int * __code (* __idata fn1)(__xdata int *);

int somegeneric = 2;
__data int somedata = 3;
__pdata int somepdata = 5;
__xdata int somexdata = 7;
__code int somecodedata = 11;

__xdata int *f(__xdata int *p) { return p; }

extern void dump(__data int * __xdata *v);

int main(void) {
  foo = &somedata;
  __xdata void *dptr = &foo;
  incode = &somecodedata;
  dump(bar);
  __xdata void *dptr2 = bar;
  /* __xdata void *dptr2a = bar2;
     __data void *dptr3 = *bar2;  See above */
  __data void *dptr4 = array1+2;
  __data int **dptr5 = array2;
  __xdata void *dptr6 = &array2;
  __data const int *dptr7 = array_lit+2;

  fn1 = f;
  __idata void *dptr8 = (__idata void *) fn1;
  __xdata void *dptr9 = fn1(&somexdata);

  return 0;
}