// { dg-do run }
// { dg-options "-O2" }

typedef __SIZE_TYPE__ size_t;
extern "C" void abort ();
extern "C" void exit (int);
extern "C" void *malloc (size_t);
extern "C" void free (void *);

struct A
{
  char a[10];
  int b;
  char c[10];
};

void
__attribute__ ((noinline))
test1 (A *p)
{
  char *c;
  if (__builtin_object_size (&p->a, 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&p->a[0], 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&p->a[3], 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&p->b, 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&p->c, 0) != (size_t) -1)
    abort ();
  c = p->a;
  if (__builtin_object_size (c, 0) != (size_t) -1)
    abort ();
  c = &p->a[0];
  if (__builtin_object_size (c, 0) != (size_t) -1)
    abort ();
  c = &p->a[3];
  if (__builtin_object_size (c, 0) != (size_t) -1)
    abort ();
  c = (char *) &p->b;
  if (__builtin_object_size (c, 0) != (size_t) -1)
    abort ();
  c = (char *) &p->c;
  if (__builtin_object_size (c, 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&p->a, 1) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[0], 1) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[3], 1) != sizeof (p->a) - 3)
    abort ();
  if (__builtin_object_size (&p->b, 1) != sizeof (p->b))
    abort ();
  if (__builtin_object_size (&p->c, 1) != (size_t) -1)
    abort ();
  c = p->a;
  if (__builtin_object_size (c, 1) != sizeof (p->a))
    abort ();
  c = &p->a[0];
  if (__builtin_object_size (c, 1) != sizeof (p->a))
    abort ();
  c = &p->a[3];
  if (__builtin_object_size (c, 1) != sizeof (p->a) - 3)
    abort ();
  c = (char *) &p->b;
  if (__builtin_object_size (c, 1) != sizeof (p->b))
    abort ();
  c = (char *) &p->c;
  if (__builtin_object_size (c, 1) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&p->a, 2) != 0)
    abort ();
  if (__builtin_object_size (&p->a[0], 2) != 0)
    abort ();
  if (__builtin_object_size (&p->a[3], 2) != 0)
    abort ();
  if (__builtin_object_size (&p->b, 2) != 0)
    abort ();
  if (__builtin_object_size (&p->c, 2) != 0)
    abort ();
  c = p->a;
  if (__builtin_object_size (c, 2) != 0)
    abort ();
  c = &p->a[0];
  if (__builtin_object_size (c, 2) != 0)
    abort ();
  c = &p->a[3];
  if (__builtin_object_size (c, 2) != 0)
    abort ();
  c = (char *) &p->b;
  if (__builtin_object_size (c, 2) != 0)
    abort ();
  c = (char *) &p->c;
  if (__builtin_object_size (c, 2) != 0)
    abort ();
  if (__builtin_object_size (&p->a, 3) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[0], 3) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[3], 3) != sizeof (p->a) - 3)
    abort ();
  if (__builtin_object_size (&p->b, 3) != sizeof (p->b))
    abort ();
  if (__builtin_object_size (&p->c, 3) != 0)
    abort ();
  c = p->a;
  if (__builtin_object_size (c, 3) != sizeof (p->a))
    abort ();
  c = &p->a[0];
  if (__builtin_object_size (c, 3) != sizeof (p->a))
    abort ();
  c = &p->a[3];
  if (__builtin_object_size (c, 3) != sizeof (p->a) - 3)
    abort ();
  c = (char *) &p->b;
  if (__builtin_object_size (c, 3) != sizeof (p->b))
    abort ();
  c = (char *) &p->c;
  if (__builtin_object_size (c, 3) != 0)
    abort ();
}

void
__attribute__ ((noinline))
test2 (void)
{
  char *c;
  size_t s = 2 * sizeof (A);
  A *p = (A *) malloc (2 * sizeof (A));
  if (__builtin_object_size (&p->a, 0) != s)
    abort ();
  if (__builtin_object_size (&p->a[0], 0) != s)
    abort ();
  if (__builtin_object_size (&p->a[3], 0) != s - 3)
    abort ();
  if (__builtin_object_size (&p->b, 0) != s - __builtin_offsetof (A, b))
    abort ();
  if (__builtin_object_size (&p->c, 0) != s - __builtin_offsetof (A, c))
    abort ();
  c = p->a;
  if (__builtin_object_size (c, 0) != s)
    abort ();
  c = &p->a[0];
  if (__builtin_object_size (c, 0) != s)
    abort ();
  c = &p->a[3];
  if (__builtin_object_size (c, 0) != s - 3)
    abort ();
  c = (char *) &p->b;
  if (__builtin_object_size (c, 0) != s - __builtin_offsetof (A, b))
    abort ();
  c = (char *) &p->c;
  if (__builtin_object_size (c, 0) != s - __builtin_offsetof (A, c))
    abort ();
  if (__builtin_object_size (&p->a, 1) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[0], 1) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[3], 1) != sizeof (p->a) - 3)
    abort ();
  if (__builtin_object_size (&p->b, 1) != sizeof (p->b))
    abort ();
  if (__builtin_object_size (&p->c, 1) != s - __builtin_offsetof (A, c))
    abort ();
  c = p->a;
  if (__builtin_object_size (c, 1) != sizeof (p->a))
    abort ();
  c = &p->a[0];
  if (__builtin_object_size (c, 1) != sizeof (p->a))
    abort ();
  c = &p->a[3];
  if (__builtin_object_size (c, 1) != sizeof (p->a) - 3)
    abort ();
  c = (char *) &p->b;
  if (__builtin_object_size (c, 1) != sizeof (p->b))
    abort ();
  c = (char *) &p->c;
  if (__builtin_object_size (c, 1) != s - __builtin_offsetof (A, c))
    abort ();
  if (__builtin_object_size (&p->a, 2) != s)
    abort ();
  if (__builtin_object_size (&p->a[0], 2) != s)
    abort ();
  if (__builtin_object_size (&p->a[3], 2) != s - 3)
    abort ();
  if (__builtin_object_size (&p->b, 2) != s - __builtin_offsetof (A, b))
    abort ();
  if (__builtin_object_size (&p->c, 2) != s - __builtin_offsetof (A, c))
    abort ();
  c = p->a;
  if (__builtin_object_size (c, 2) != s)
    abort ();
  c = &p->a[0];
  if (__builtin_object_size (c, 2) != s)
    abort ();
  c = &p->a[3];
  if (__builtin_object_size (c, 2) != s - 3)
    abort ();
  c = (char *) &p->b;
  if (__builtin_object_size (c, 2) != s - __builtin_offsetof (A, b))
    abort ();
  c = (char *) &p->c;
  if (__builtin_object_size (c, 2) != s - __builtin_offsetof (A, c))
    abort ();
  if (__builtin_object_size (&p->a, 3) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[0], 3) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[3], 3) != sizeof (p->a) - 3)
    abort ();
  if (__builtin_object_size (&p->b, 3) != sizeof (p->b))
    abort ();
  if (__builtin_object_size (&p->c, 3) != s - __builtin_offsetof (A, c))
    abort ();
  c = p->a;
  if (__builtin_object_size (c, 3) != sizeof (p->a))
    abort ();
  c = &p->a[0];
  if (__builtin_object_size (c, 3) != sizeof (p->a))
    abort ();
  c = &p->a[3];
  if (__builtin_object_size (c, 3) != sizeof (p->a) - 3)
    abort ();
  c = (char *) &p->b;
  if (__builtin_object_size (c, 3) != sizeof (p->b))
    abort ();
  c = (char *) &p->c;
  if (__builtin_object_size (c, 3) != s - __builtin_offsetof (A, c))
    abort ();
  free (p);
}

void
__attribute__ ((noinline))
test3 (void)
{
  char *c;
  size_t s;
  A *p = (A *) malloc (4);
  if (__builtin_object_size (&p->a, 0) != 4)
    abort ();
  if (__builtin_object_size (&p->a[0], 0) != 4)
    abort ();
  if (__builtin_object_size (&p->a[3], 0) != 1)
    abort ();
  if (__builtin_object_size (&p->b, 0) != 0)
    abort ();
  if (__builtin_object_size (&p->c, 0) != 0)
    abort ();
  if (__builtin_object_size (&p->a, 1) != 4)
    abort ();
  if (__builtin_object_size (&p->a[0], 1) != 4)
    abort ();
  if (__builtin_object_size (&p->a[3], 1) != 1)
    abort ();
  if (__builtin_object_size (&p->b, 1) != 0)
    abort ();
  if (__builtin_object_size (&p->c, 1) != 0)
    abort ();
  free (p);
  s = __builtin_offsetof (A, c) + 4;
  p = (A *) malloc (s);
  if (__builtin_object_size (&p->a, 0) != s)
    abort ();
  if (__builtin_object_size (&p->a[0], 0) != s)
    abort ();
  if (__builtin_object_size (&p->a[3], 0) != s - 3)
    abort ();
  if (__builtin_object_size (&p->b, 0) != s - __builtin_offsetof (A, b))
    abort ();
  if (__builtin_object_size (&p->c, 0) != 4)
    abort ();
  if (__builtin_object_size (&p->a, 1) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[0], 1) != sizeof (p->a))
    abort ();
  if (__builtin_object_size (&p->a[3], 1) != sizeof (p->a) - 3)
    abort ();
  if (__builtin_object_size (&p->b, 1) != sizeof (p->b))
    abort ();
  if (__builtin_object_size (&p->c, 1) != 4)
    abort ();
  free (p);
}

struct B
{
  A a[4];
};

void
__attribute__ ((noinline))
test4 (struct B *q, int i)
{
  if (__builtin_object_size (&q->a[2].a[2], 1) != sizeof (q->a[0].a) - 2)
    abort ();
  if (__builtin_object_size (&q->a[2].c[2], 1) != sizeof (q->a[0].c) - 2)
    abort ();
  if (__builtin_object_size (&q->a[3].a[2], 1) != sizeof (q->a[0].a) - 2)
    abort ();
  if (__builtin_object_size (&q->a[3].c[2], 1) != sizeof (q->a[0].c) - 2)
    abort ();
  if (__builtin_object_size (&q->a[i].a[2], 1) != sizeof (q->a[0].a) - 2)
    abort ();
  if (__builtin_object_size (&q->a[i].c[2], 1) != sizeof (q->a[0].c) - 2)
    abort ();
}

struct C
{
  char a[10];
  char b;
};

void
__attribute__ ((noinline))
test5 (struct C *c)
{
  if (__builtin_object_size (&c->b, 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&c->b, 1) != 1)
    abort ();
  if (__builtin_object_size (&c->b, 2) != 0)
    abort ();
  if (__builtin_object_size (&c->b, 3) != 1)
    abort ();
}

struct D
{
  int i;
  struct D1
  {
    char b;
    char a[10];
  } j;
};

void
__attribute__ ((noinline))
test6 (struct D *d)
{
  if (__builtin_object_size (&d->j.a[3], 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&d->j.a[3], 1) != sizeof (d->j.a) - 3)
    abort ();
  if (__builtin_object_size (&d->j.a[3], 2) != 0)
    abort ();
  if (__builtin_object_size (&d->j.a[3], 3) != sizeof (d->j.a) - 3)
    abort ();
}

struct E
{
  int i;
  struct E1
  {
    char b;
    char a[10];
  } j[1];
};

void
__attribute__ ((noinline))
test7 (struct E *e)
{
  if (__builtin_object_size (&e->j[0].a[3], 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&e->j[0].a[3], 1) != sizeof (e->j[0].a) - 3)
    abort ();
  if (__builtin_object_size (&e->j[0].a[3], 2) != 0)
    abort ();
  if (__builtin_object_size (&e->j[0].a[3], 3) != sizeof (e->j[0].a) - 3)
    abort ();
  if (__builtin_object_size ((char *) &e->j[0], 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size ((char *) &e->j[0], 1) != (size_t) -1)
    abort ();
  if (__builtin_object_size ((char *) &e->j[0], 2) != 0)
    abort ();
  if (__builtin_object_size ((char *) &e->j[0], 3) != 0)
    abort ();
}

union F
{
  char a[1];
  struct F1
  {
    char b;
    char c[10];
  } d;
};

void
__attribute__ ((noinline))
test8 (union F *f)
{
  if (__builtin_object_size (&f->d.c[3], 0) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&f->d.c[3], 1) != (size_t) -1)
    abort ();
  if (__builtin_object_size (&f->d.c[3], 2) != 0)
    abort ();
  if (__builtin_object_size (&f->d.c[3], 3) != 0)
    abort ();
}

int
main (void)
{
  A a, *p = &a;
  int i = 1;
  __asm ("" : "+r" (p));
  test1 (p);
  test2 ();
  test3 ();
  struct B b, *q = &b;
  __asm ("" : "+r" (q), "+r" (i));
  test4 (q, i);
  struct C c, *cp = &c;
  __asm ("" : "+r" (cp));
  test5 (cp);
  struct D d, *dp = &d;
  __asm ("" : "+r" (dp));
  test6 (dp);
  struct E e, *ep = &e;
  __asm ("" : "+r" (ep));
  test7 (ep);
  union F f, *fp = &f;
  __asm ("" : "+r" (fp));
  test8 (fp);
  exit (0);
}