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
 */