validation/constexpr-addr-of-static-member.c

struct A {
	int a;
	int b[2];
};

struct B {
	int c;
	struct A d;
};

static struct B a= {1, {1, {1, 1}}};

static int *b = &a.d.a;	// OK
static int *c = &(&a.d)->a;	// OK
static int *d = a.d.b;		// OK
static int *e = (&a.d)->b;	// OK
static int *f = &a.d.b[1];	// OK
static int *g = &(&a.d)->b[1];	// OK

/*
 * check-name: constexpr static object's member address
 * check-command: sparse -Wconstexpr-not-const $file
 *
 * check-error-start
 * check-error-end
 */