/*
	bug 1928022 & 1503239
*/

// the following "C"
//
// struct st { char a[1]; };
// char __xdata * const Ptr = &(((struct st __xdata *) 0x1234) -> a[0]);
//
// will generate an .asm where a label for `Ptr' is generated,
// but no space is allocated, and no initialization is done.
//
// In this piece of regression test,
// the `Fill...' variables are used to work around
// the missing space allocation.
// The cmp() will then reliably bump into those Fill.. locations

#include <testfwk.h>

struct st_a {
  char b;
  char a[2];
  struct { char c; } s;
};

char __xdata * const Ptr_a1 = &(((struct st_a __xdata *) 0x1234) -> a[0]);
char __xdata * const Ptr_a2 = &(((struct st_a __xdata *) 0x1234) -> a[1]);
long const Fill_a = -1;

char __xdata * const Ptr_c1 = &(((struct st_a __xdata *) 0x1234) -> s.c);
long const Fill_c = -1;

char
cmp (void *a, void *b)
{
  return a == b;
}

void
testBug (void)
{
#if !defined(__SDCC_pdk14) && !defined(__SDCC_pdk15) // I have no idea yet, how integers cast to pointers should behave here on pdk14.
  ASSERT (cmp(Ptr_a1, (char __xdata *) 0x1235));
  ASSERT (cmp(Ptr_a2, (char __xdata *) 0x1236));
  ASSERT (cmp(Ptr_c1, (char __xdata *) 0x1237));
#endif
}

// bug 1503239
struct st_a foo;

const char * __code bob = &foo.b; // validateLink failed

char * Ptr1 = &(foo.a[0]); // this works
char * Ptr2 = foo.a; // caused internal compiler error

char * __code Ptr3 = &(foo.a[0]);
char * __code Ptr4 = foo.a; // compile error 129: pointer types incompatible

char * const Ptr5 = &(foo.a[0]);
char * const Ptr6 = foo.a; // compile error 129: pointer types incompatible